Software Engineering

This book constitutes the refereed proceedings of the 9th International Conference on High-Performance Computing and Networking, HPCN Europe 2001, held in Amsterdam, The Netherlands in June 2001.

This book constitutes the refereed proceedings of the Second IFIP-TC6 Netw- king Conference, Networking 2002.

This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time.

In 1998, SC24, the subcommittee of ISO/IEC JTC 1 concerned with computer graphics and image processing, completed work on a new standard for multimedia presentation; the PREMO standard (Presentation Environment for Multimedia Objects) is published under the official reference ISO/IEC 14478.

ETAPS 2002 was the ?

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001.

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000.

This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000.

This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the Indian Association for Research in Computing Science (IARCS).

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.

Generic programming attempts to make programming more efficient by making it more general.

This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR'99) which was held in Venice (Italy), September 22-24, 1999.

This volume contains the proceedings of MPC 2000, the ?

Diagrams 2000 is dedicated to the memory of Jon Barwise.

This book contains the presentations given at the Workshop on OpenMP App- cations and Tools, WOMPAT 2001.

Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology.

This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012.

Welcome to GRID 2000, the first annual IEEE/ACM international workshop on grid computing sponsored by the IEEE Computer Society's Task Force on Cluster Computing (TFCC) and the Association for Computing Machinery (ACM).

Artificial intelligence has, traditionally focused on solving human-centered problems like natural language processing or common-sense reasoning.

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?

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.

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.

 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.

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.

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.