The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague,Czech Republic on July 16-18, 2007.
The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized by the Mexican Society for Artificial Intel- gence (SMIA), is a major international AI forum and the main event in the academic life of the country's growing AI community.
The International Symposium on Rule Interchange and Applications (RuleML-2007), collocated in Orlando, Florida, with the Tenth International Business Rules Forum, was the first symposium devoted to work on practical distributed rule technologies and rule-based applications which need language standards for rules operating in the context of modern infrastructures, including the Semantic Web, intelligent multi-agent systems, event-driven architectures, and service-oriented computing applications.
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++.
