Autonomous agents and multi-agent systems are computational systems in which several (semi-)autonomous agents interact with each other or work together to perform some set of tasks or satisfy some set of goals.
This book constitutes the thoroughly refereed post-proceedings of the 8th Panhellenic Conference on Informatics, PCI 2001, held in Nicosia, Cyprus in November 2001.
This book constitutes the thoroughly refereed post-proceedings of the international conference NetObjectDays 2002, held in Erfurt, Germany, in October 2002.
This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14-17, 2004 in Park City, Utah, USA.
This book constitutes the refereed proceedings of the Third International Software Product Line Conference, SPLC 2004, held in Boston, MA, USA in August/September 2004.
The fourth internationalworkshop,"e;EngineeringSocietiesin the Agents World"e; (ESAW 2003) was a three-dayevent that took place at the end of October 2003.
This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29- 31, 2004.
The International Conference on Computational Science (ICCS 2004) held in Krak' ow, Poland, June 6-9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne, Australia and St.
Driven by the need for a closer alignment of business and IT requirements, the role of business process models in the development of enterprise software systems has increased continuously.
The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously.
In a dynamic computing environment, such as the Grid, resource management plays a crucial role for making distributed resources available on-demand to anyone from anywhere at any time without undermining the resource autonomy; this becomes an art when dealing with heterogeneous resources distributed under multiple trust domains spanning across the Internet.
Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems.
Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms.
Started by small group of well known scientists with the aim of sharing knowledge, experiences, and results on all aspects of cluster computing, the initiative of a workshop on cluster computing received more attention after IFIP WG 10.
This volume of the Lecture Notes in Computer Science series provides a c- prehensive, state-of-the-art survey of recent advances in string processing and information retrieval.
These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24-28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands.
UbiComp 2003, the 5th Annual Conference on Ubiquitous Computing, is the premier forum for presentation of research results in all areas relating to the - sign, implementation, deployment and evaluation of ubiquitous computing te- nologies.
Euro-Par Conference Series Euro-Par is an annual series of international conferences dedicated to the p- motion and advancement of all aspectsof parallelcomputing.
This volume of the LNCS series contains the proceedings of the 5th Internat- nal Working Conference on Active Networks (IWAN 2003) held in the ancient cultural city of Kyoto, Japan.
