Computer programming / software engineering

This book constitutes the refereed proceedings of the 9th Annual European Symposium on Algorithms, ESA 2001, held in Aarhus, Denmark, in August 2001.

In many real-world problems, rare categories (minority classes) play essential roles despite their extreme scarcity.

The international conference on current trends in the theory and practice of informatics SOFSEM 2000 was held 25 November-2 December 2000 in the c- ference facilities of the Dev?

The papers in this volume were selected for presentation at the Eleventh Annual International Symposium on Algorithms and Computation (ISAAC 2000), held on 18{20 December, 2000 at the Institute of Information Science, Academia Sinica, Taipei, Taiwan.

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.

Presently, in our world, visual information dominates.

Most networks and databases that humans have to deal with contain large, albeit finite number of units.

In the past two years, the Smalltalk and Java in Industry and Education C- ference (STJA) featured a special track on generative programming, which was organized by the working group \Generative and Component-Based Software Engineering"e; of the \Gesellschaft fur * Informatik"e; FG 2.

Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints.

Algorithms are essential building blocks of computer applications.

As software systems become ubiquitous, the issues of dependability become more and more crucial.

This book constitutes the refereed proceedings of the Third International Euro-Par Conference, held in Passau, Germany, in August 1997.

The papers in this volume were selected for presentation at the Fourth Annual International Computing and Combinatorics Conference (COCOON'98), held on August 12-14, 1998, in Taipei.

 Experimental algorithmics, as its name indicates, combines algorithmic work and experimentation: algorithms are not just designed, but also implemented and tested on a variety of instances.

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Theoretical Foundations of Computer Vision, held in Dagstuhl Castle, Germany in April 2002.

 This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, Poland, in April 2003.

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems.

Testing is the primary hardware and software verification technique used by industry today.

The use of constraints had its scientific and commercial breakthrough in the 1990s.

Johannes Buchmann is internationally recognized as one of the leading figures in areas of computational number theory, cryptography and information security.

This book presents Maple solutions to a wide range of problems relevant to chemical engineers and others.

The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.

Martin Charles Golumbic has been making seminal contributions to algorithmic graph theory and artificial intelligence throughout his career.

The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs of new maturity and consolidation.

Model checking technology is among the foremost applications of logic to computer science and computer engineering.

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?

Arti?

Following the highly successful International Conference on Computer Vision - stems held in Las Palmas, Spain (ICVS'99), this second International Workshop on Computer Vision Systems, ICVS 2001 was held as an associated workshop of the International Conference on Computer Vision in Vancouver, Canada.

In 1992 we initiated a research project on large scale distributed computing systems (LSDCS).

Visualinformationsystemsareinformationsystemsforvisualcomputing.

SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 - December 1, 2001 in the ?

This volume contains the papers presented at the 12th Annual Conference on Algorithmic Learning Theory (ALT 2001), which was held in Washington DC, USA, during November 25-28, 2001.

The 14th DEXA 2003 International Conference on Database and Expert - stems Applications was held during September 1-5, 2003 at the Czech Technical UniversityinPrague,CzechRepublic.

EUROCRYPT 2001, the 20th annual Eurocrypt conference, was sponsored by the IACR, the International Association for Cryptologic Research, see http://www.

This volume constitutes the proceedings of the second International Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001)held on 6 September, 2001, in Florence, Italy.

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.