th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France.
This book constitutes the refereed joint proceedings of eight international workshops held in conjunction with the 28th International Conference on Conceptual Modeling, ER 2009, in Gramado, Brazil, in November 2009.
This textbook is intended for SPI (software process improvement) managers and - searchers, quality managers, and experienced project and research managers.
This book constitutes the refereed proceedings of the 7th German Conference on Multiagent Systems Technologies, MATES 2009, held in Hamburg, Germany in September 2009 - colocated with the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) and the 5th International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009).
This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009.
This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009.
It is our great pleasure to present the proceedings of the symposia and workshops on parallel and distributed computing and applications associated with the ICA3PP 2010 conference.
The International Conference on Autonomous Infrastructure, Management and Se- rity (AIMS 2010) was a single-track event integrating regular conference paper s- sions, tutorials, keynotes, and a PhD student workshop into a highly interactive event.
The International Conference on Wireless and Mobile networks (WiMo) aims to bring together innovative ideas and new research trends in wireless and mobile networks.
It is our great pleasure to welcome you to the proceedings of the 10th annual event of the International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP).
This volume compiles the papers accepted for presentation at the 16thWorking C- ference on Requirements Engineering: Foundation for Software Quality (REFSQ 2010), held in Essen during June 30 and July 1-2, 2010.
Interest in agile development continues to grow: the number of practitioners adopting such methodologies is increasing as well as the number of researchers investigating the effectiveness of the different practices and proposing improvements.
This volume contains the papers presented at the Third International Conference on Scalable Uncertainty Management, SUM 2009, in Washington, DC, September 28-30, 2009.
This book constitutes the thoroughly refereed post-workshop proceedings of eight international workshops held in Ulm, Germany, in conjunction with the 7th International Conference on Business Process Management, BPM 2009, in September 2009.
This book constitutes the refereed proceedings of the 23nd International Symposium on Distributed Computing, DISC 2009, held in Elche, Spain, in September 2009.
This book constitutes the proceedings of the 2010 Joint International Working C- ference of the International Federation for Information Processing Working Groups 8.
The 2009 International Symposium on Rule Interchange and Applications (RuleML 2009), collocated in Las Vegas, Nevada, with the 12th International Business Rules Forum, was the premier place to meet and to exchange ideas from all ?
The First International ICST Conference on Mobile Networks and Management (MONAMI) was held in Athens, Greece during October 13-14, 2009, hosted by the National Technical University of Athens.
This proceedings volume includes the full research papers presented at the First Int- national Conference on Mobile Computing, Applications, and Services (MobiCASE) held in San Diego, California, during October 26-29, 2009.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, held in Kuala Lumpur, Malaysia, in September 2005.
This book constitutes the refereed proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2009, held in Taipei, Taiwan, in June 2009.
INTERACT 2009 was the 12th of a series of INTERACT international c- ferences supported by the IFIP Technical Committee 13 on Human-Computer Interaction.
SEAFOOD 2009: Enabling Global Partnerships to Deliver on Business Needs Companies have been outsourcing areas of software development work for many years, either because of the engineering challenges or because the outsourced aspect is not central to their core business.
This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages.
INTERACT 2009 was the 12th of a series of INTERACT international c- ferences supported by the IFIP Technical Committee 13 on Human-Computer Interaction.
Software systems for wireless and mobile communications are a key component in pervasive computing and are crucial for the materialization of easy-to-use and intel- gent services that people can use ubiquitously.
First established in August 1988, the Transaction Processing Performance Council (TPC) has shaped the landscape of modern transaction processing and database benchmarks over two decades.
This book constitutes the refereed proceedings of the 8th International Symposium on Software Composition, SC 2009, held in Zurich, Switzerland, in July 2009.
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.
