You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This volume includes the best papers of the IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, held on June 2009 in Shanghai, China.
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques for Networked and Distributed Systems). The previous FORTE began in 1989 and the PSTV conference in 1981. Therefore the new FORTE conference actually has a long history of 21 years. The purpose of this conference is to introduce theories and formal techniques applicable to various engineering stages of networked and distributed systems and to share applications and experiences of them. This FORTE ...
This book constitutes the refereed proceedings of the International Conference on Information Networking, ICOIN 2005 held in Jeju Island, Korea in January/February 2005. The conference focused on convergence in broadband and mobile networking. The 96 revised full papers presented were carefully reviewed and selected from 427 submissions. The papers are organized in topical sections on wireless LAN, security, TCP and congestion control, wireless ad-hoc network routing, network measurement, routing, power control in wireless networks, quality of service, high speed networks, wireless ad-hoc networks, network design, peer-to-peer networks, and applications and services.
This book constitutes the refereed combined proceedings of four international workshops held in conjunction with the joint 9th Asia-Pacific Web Conference, APWeb 2007, and the 8th International Conference on Web-Age Information Management, WAIM 2007, held in Huang Shan, China in June 2007: DBMAN 2007, WebETrends 2007, PAIS 2007, and ASWAN 2007.
In recent years, concepts in object-oriented modeling and programming have been extended in several directions, giving rise to new paradigms such as age- orientation and feature-orientation. This volume came out of a Dagstuhl seminar exploring the relationship - tween the original paradigm and the two new ones. Following the success of the seminar, the idea emerged to edit a volume with contributions from parti- pants - including those who were invited but could not come. The participants' reaction was very positive, and so we, the organizers of the seminar, felt - couraged to edit this volume. All submissions were properly refereed, resulting in the present selection of high-quality papers ...
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concep...
Developing variable systems faces many challenges. Dependencies between interrelated artifacts within a product variant, such as code or diagrams, across product variants and across their revisions quickly lead to inconsistencies during evolution. This work provides a unification of common concepts and operations for variability management, identifies variability-related inconsistencies and presents an approach for view-based consistency preservation of variable systems.
Features - additional services - occur whenever organisations compete by differentiating their products from those of rival organisations. Adding one feature may break another, or interfere with it in an undesired way. This phenomenon is called feature interaction. This book explores ways in which the feature interaction problem may be mitigated.
With the help of advanced technology in telecommunications, the benefits of multimedia applications have become even more significant than when it was used as just as a form for strategic advantage by individuals. The International Conference on Multimedia and Telecommunications Management, held December 17-19, 1998, highlights the recent significant research in the areas of multimedia and telecommunications applications in industry. This book collects the 58 reviewed papers from 18 countries, that were chosen out of 140 submissions for presentation at the conference. An introductory paper entitled "Multimedia in Facet: A Facet of Hong Kong Environment" by Wing S Chow et al., is included as an introductory chapter to render readers a better understanding of the study subjects. This volume is useful for researchers, practitioners and students alike for an update on the mosr recent developments in the ever-changing and significant field of multimedia and telecommunications.