This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sani (Kassandra, Chalkidiki), Greece during October 13-15, 2008, sponsored by EASST and in cooperation with the IEEE Technical Committee on Complex Systems.
Conceptual modeling is fundamental to the development of complex systems, because it provides the key communication means between systems developers, end-usersandcustomers.
The International Conference on E-commerce and Web Technologies (EC-Web) is a mature and well-established forum for researchers working in the area of electronic commerce and web technologies.
Software architecture has emerged as an important subdiscipline of software engineering encompassing a broad set of languages, styles, models, tools, and processes.
This textbook is intended for use by SPI (Software Process Improvement) managers and researchers, quality managers, and experienced project and research managers.
This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second volume of the FoLLI LNAI subline.
This volume contains the proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) held in Sydney, Australia, September 14-18, 2008.
Engineering Interactive Systems (EIS) 2008 was an international event combining the 2nd working conference on Human-Centred Software Engineering (HCSE 2008) and the 7th International Workshop on TAsk MOdels and DIAgrams (TAMODIA 2008).
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics.
The interest in mobile information technology for emergency response (ER) comes from the simple fact that an important part of this work is done in the ?
GeometricModelingandProcessing(GMP)isabiennialinternationalconference on geometric modeling, simulation and computing, which provides researchers and practitioners with a forum for exchanging new ideas, discussing new app- cations, and presenting new solutions.
OpenMP is a widely accepted, standard application programming interface (API) for high-level shared-memory parallel programming in Fortran, C, and C++.
We are proud to present the proceedings of the 11th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2007) which, following Pisa (1997), Heraklion (1998), Paris (1999), Lisbon (2000), Da- stadt (2001), Rome (2002), Trondheim (2003), Bath (2004), Vienna (2005) and Alicante (2006), took place on September 16-21, 2007 in Budapest, Hungary.
