This book contains the best papers of the Second International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2009), organized by the Institute for Systems and Technologies of Information Control and Communi- tion (INSTICC), technically co-sponsored by the IEEE Engineering in Medicine and Biology Society (EMB), IEEE Circuits and Systems Society (CAS) and the Workflow Management Coalition (WfMC), in cooperation with AAAI and ACM SIGART.
Requirements engineering has since long acknowledged the importance of the notion that system requirements are stakeholder goals-rather than system functions-and ought to be elicited, modeled and analyzed accordingly.
The present volume contains the proceedings of the Third IPM International Conference on Fundamentals of Software Engineering (FSEN), Kish, Iran, April 15-17, 2009.
Agents are software processes that perceive and act in an environment, processing their perceptions to make intelligent decisions about actions to achieve their goals.
This book constitutes the revised papers of the 14th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2009, which was held in Rome, Italy, in May 2009.
This book constitutes the refereed proceedings of the 4th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2009, held in Boston, MA, USA, in August 2009.
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.
The synergy and convergence of research on grid computing and peer-to-peer (P2P) computing have materialized in the meeting of the two research communities: parallel systems and distributed systems.
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) held July 6-10, 2009 in Oslo, Norway.
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Engineering Societies in the Agents World, ESAW 2008, held in Saint-Etienne, France, in September 2008.
ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6-10, 2009.
Adaptation, for purposes of self-healing, self-protection, self-management, or self-regulation, is currently considered to be one of the most challenging pr- erties of distributed systems that operate in dynamic, unpredictable, and - tentially hostile environments.
MCDM 2009, the 20th International Conference on Multiple-Criteria Decision M- ing, emerged as a global forum dedicated to the sharing of original research results and practical development experiences among researchers and application developers from different multiple-criteria decision making-related areas such as multiple-criteria decision aiding, multiple criteria classification, ranking, and sorting, multiple obj- tive continuous and combinatorial optimization, multiple objective metaheuristics, multiple-criteria decision making and preference modeling, and fuzzy multiple-criteria decision making.
This book constitutes the refereed proceedings of the Third International Conference on Combinatorial Optimization and Applications, COCOA 2009, held in Huangshan, China, in June 2009.
In the era of continuous changes in internal organizationalsettings and external business environments - such as new regulations and business opportunities - modern enterprises are subject to extensive research and study.
Parallel and distributed processing, although within the focus of computer science research for a long time, is gaining more and more importance in a wide spectrum of applications.
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008.
Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently engineer.
This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
This book constitutes the refereed proceedings of the Third International Conference on Information Systems, Technology and Management, ICISTM 2009, held in Ghaziabad, India, in March 2009The 30 revised full papers presented together with 4 keynote papers were carefully reviewed and selected from 79 submissions.
This book constitutes the refereed proceedings of three joint events - the International Workshop on Software Measurement, IWSM 2008, the DASMA Metrik Kongress, Metrikon 2008, and the International Conference on Software Process and Product Measurement, Mensura 2008, held in Munich, Germany, in November 2008.
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering Societies in the Agents World, ESAW 2007, held in Athens, Greece, in October 2007.
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008.
This book constitutes the refereed proceedings of the 8th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking, NEW2AN 2008, held in St.
This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in Brisbane, Australia.
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17-19, 2007.