After some time of early experience Web Services are moving themselves from a new highly fragmented technology to a piece of nowadays infrastructures which promise to address various current challenges.
This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22-25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial software development event, in cooperation with the ACM SIGPLAN and SIGSOFT societies.
The 1st Workshop on Service Assurance with Partial and Intermittent Resources (SAPIR 2004) was the first event in a series introducing the concept of pi-resources and bridging it with the emerging and important field of distributed and heavily shared resources.
Solving complex problems in real-world contexts, such as financial investment planning or mining large data collections, involves many different sub-tasks, each of which requires different techniques.
These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems.
This volume presents the revised lecture notes of selected talks given at the second Central European Functional Programming School, CEFP 2007, held June 23-30, 2007 at Babe s-Bolyai University, Cluj-Napoca, Romania.
This volume contains the proceedings from the workshops held in conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000, on 1-5 May 2000 in Cancun, Mexico.
The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?
This volume is based on papers accepted for the Second International Workshop on Multi-agent-based Simulation (MABS-2000)federated with the Fourth Int- national Conference on Multi Agent Systems (ICMAS-2000)held in Boston in July 2000.
Das Buch deckt sowohl funktionale als auch technische Aspekte des Softwaretestens ab und vermittelt damit das notwendige Praxiswissen fur Test Analysts und Technical Test Analysts - beides entscheidende Rollen in Testteams.
These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multiagent systems.
The Hybrid Deliberative Layer (HDL) solves the problem that an intelligent agent faces in dealing with a large amount of information which may or may not be useful in generating a plan to achieve a goal.
This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komarno, Slovakia.
Welcome to the second volume of Transactions on Computational Collective Intel- gence (TCCI), a new journal devoted to research in computer-based methods of c- putational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems.
Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally.
For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE).
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.
Computational Science is the scientific discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems.
This book constitutes the refereed proceedings of the 8th European Workshop on Software Process Technology, EWSPT 2001, held in Witten, Germany, in June 2001.
This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.