This book constitutes the strictly refereed proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS 98, held in Paris, France, in February 1998.
The volume presents three invited surveys together with 52 revised full papers selected from a total of 155 submissions. The papers are organized in topical sections on algorithms and data structures, logic, complexity, and automata and formal languages.

Twenty-one revised full papers present research results on all aspects of Petri nets as well as advanced applications in a variety of areas. There are three invited presentations.

The two-volume set LNCS 2686 and LNCS 2687 constitute the refereed proceedings of the 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, held in Mao, Menorca, Spain in June 2003. inclusion in the book and address the following topics: mathematical and computational methods in neural modelling, neurophysiological data analysis and modelling, structural and functional models of neurons, learning and other plasticity phenomena, complex systems dynamics, cognitive processes and artificial intelligence, methodologies for net design, bio-inspired systems and...

Images or discrete objects, to be analyzed based on digital image data, need to be represented, analyzed, transformed, recovered etc. These problems have stimulated many interesting developments in theoretical foundations of image processing.
This coherent anthology presents 27 state-of-the-art surveys and research papers on digital image geometry and topology. It is based on a winter school held at Dagstuhl Castle, Germany in December 2000 and offers topical sections on topology, representation, geometry, multigrid convergence, and shape similarity and simplification.

Peer-to-peer(P2P)computingiscurrentlyattractingenormousmediaattention, spurred by the popularity of ?le sharing systems such as Napster, Gnutella and Morpheus. In P2P systems a very large number of autonomous computing nodes (the peers) pool together their resources and rely on each other for data and services. The wealth of business opportunities promised by P2P networks has gene- ted much industrial interest recently, and has resulted in the creation of various industrial projects, startup companies, and special interest groups. Researchers from distributed computing, networks, agents and...

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 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus...

This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.
The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques...

These are the refereed proceedings of the 8th International Conference on High Performance Computing, HiPC 2001, held in Hyderabad, India, in December 2001. The 29 revised full papers presented together with 5 keynote papers and 3 invited papers were reviewed and selected from 108 submissions. The papers are organized in topical sections on algorithms, applications, architecture, systems software, communications networks, and challenges in networking

The CC program committee is pleased to present this volume with the p- ceedings of the 13th International Conference on Compiler Construction (CC 2004). CC continues to provide an exciting forum for researchers, educators, and practitioners to exchange ideas on the latest developments in compiler te- nology, programming language implementation, and language design. The c- ference emphasizes practical and experimental work and invites contributions on methods and tools for all aspects of compiler technology and all language paradigms. This volume serves as the permanent record of the 19 papers...

This book constitutes the refereed proceedings of the 5th International Conference on Product Focused Software Process Improvement, PROFES 2004, held in Kansai Science City, Japan in April 2004. constitute a balanced mix of academic and industrial aspects. The papers are organized in topical sections on software process improvement, software quality, measurement, methods and tools, experimental software engineering, industrial experiences, agile methods, software process assessment, requirements engineering, and software reuse and COTS.