Computer programming / software engineering

The Third International Conference on Product Focused Software Process Improvement (PROFES 2001) continued the success of the PROFES'99 and PROFES 2000 conferences.

The 2001 International Conference on Case-Based Reasoning (ICCBR 2001, www.

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.

The characteristics of software systems are undergoing dramatic changes.

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.

This volume is dedicated to the memory of Rudolf Ahlswede, who passed away in December 2010.

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.

Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain or other.

Reinhard Wilhelm's career in Computer Science spans more than a third of a century.

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.

Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization.

Premiering in 1990 in Antibes, France, the European Conference on Computer Vision, ECCV, has been held biennially at venues all around Europe.

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.

The European conference situationin the general area of software science has longbeen considered unsatisfactory.

The European Commission emphasizes, in its Fifth Research Framework, the "e;.

The abstracts and papers in this volume were presented at the Fifth Annual International Computing and Combinatorics Conference (COCOON '99), which was held in Tokyo, Japan from July 26 to 28, 1999.

Program construction is about turning specifications of computer software into implementations.

The development of products in disciplines such as mechanical, electrical, or software engineering is a challenging task.

The range of issues considered in graph drawing includes algorithms, graph theory, geometry, topology, order theory, graphic languages, perception, app- cations, and practical systems.

After nearly half a century of research, the Holy Grail of the ?

LNCS volumes 2073 and 2074 contain the proceedings of the International Conference on Computational Science, ICCS 2001, held in San Francisco, California, May 27-31, 2001.

This book constitutes the refereed proceedings of the 6th East European Conference on Advances in Databases and Information Systems ADBIS 2002, held in Bratislava, Slovakia in September 2002.

Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU and memory resources.

Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics.

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.