Since the late 1980s, the CAiSE conferences have provided a forum for the p- sentation and exchange of research results and practical experiences within the ?
This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001.
Recently, we have seen a steep increase in the popularity and adoption of XML, in areas such as traditional databases, e-business, the scientific environment, and on the web.
This tutorial contains written versions of seven lectures on Computational Combinatorial Optimization given by leading members of the optimization community.
This book constitutes the refereed proceedings of the 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, held in Loughborough, UK in June 2003.
This book constitutes the refereed proceedings of the 6th International Symposium on Self-Stabilizing Systems, SSS 2003, held in San Francisco, CA, USA, in June 2003.
Virtual Worlds 2000 is the second in a series of international scientific conferences on virtual worlds held at the International Institute of Multimedia in Paris La Defense (Pole Universitaire Leonard de Vinci).
Agents in multiagent systems are concurrent autonomous entities that need to coordinate and to cooperate so as to perform their tasks; these coordination and cooperation tasks might be achieved through communication.
The Third International Conference on Product Focused Software Process Improvement (PROFES 2001) continued the success of the PROFES'99 and PROFES 2000 conferences.
The phenomenal increases in computer system performance in recent years have been accompanied by a commensurate increase in power and energy dissipation.
These post-proceedings contain the revised versions of the papers presented at the \Symposium on Objects and Databases"e; which was held in Sophia-Antipolis, France, June 13, 2000, in conjunction with the Fourteenth European Conference on Object-Oriented Programming, ECOOP 2000.
Euro-Par - the European Conference on Parallel Computing - is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing.
X Table of Contents Table of Contents XI XII Table of Contents Table of Contents XIII XIV Table of Contents Table of Contents XV XVI Table of Contents K.
The East European Conference on Advances in Databases and Information - stems (ADBIS) is the successor of the annual International Workshops with the same title that during 1993{1996 were organized in Russia by the Moscow ACM SIGMOD Chapter.
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.
The papers collected here are those selected for presentation at the Second International Symposium on Handheld and Ubiquitous Computing 2000 (HUC 2000) held in Bristol, UK in September 2000.
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012.
The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.
The 9th issue of the Transactions on Computational Science journal, edited by Francois Anton, is devoted to the subject of Voronoi diagrams in science and engineering.
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks.
Software engineering is widely recognized as one of the most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry.
This book presents the history and state of the art of universal routing strategies, which can be applied to networks independently of their respective topologies.
A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability.
This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 1998.
