Software Engineering

It is our great pleasure to present the proceedings of the second Russia-Taiwan Symposium on Methods and Tools of Parallel Programming (MTPP 2010).

For more than a decade, ad hoc wireless networks have galvanized the interest and sparked the imagination of researchers.

The discipline of Services Science, introduced by IBM in 2002, has emerged and matured in a true transdisciplinary atmosphere.

This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1-2 in M' alaga, Spain as part of TOOLS Federated Conferences.

This volume constitutes the refereed proceedings of the 4th International Conference on Information Systems, Technology and Management, ICISTM 2010, held in Bangkok, Thailand, in March 2010.

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.

This book contains extended and revised versions of the best papers that were p- sented during the 16th edition of the IFIP/IEEE WG10.

Evolutionary computation (EC) techniques are e?

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.

As software systems become increasingly ubiquitous, issues of dependability become ever more crucial.

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.

Conceptual modeling has long been recognized as the primary means to enable software development in information systems and data engineering.

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 PaCT-2009 (Parallel Computing Technologies) conference was a four-day eventheld in Novosibirsk.

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.

The2009InternationalWorkshoponAgentsandDataMiningInteraction(ADMI 2009) was a joint event with AAMAS2009.

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.

This book contains the collection of papers presented at the conference of the International Federation for Information Processing Working Group 8.

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.

Welcome to the 5th International Conference on Open Source Systems!

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.

"e;There is something fascinating about science.

"e;There is something fascinating about science.

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.

the virtually unlimited possibilities of modern information and communication technology.

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.