This text constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with E-TAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions.

A presentation of the history and state-of-the-art of universal routing strategies, which can be applied to networks independently of their respective topologies. It opens with a self-contained introduction, accessible also to newcomers. The main original results are universal network protocols for store-and-forward and wormhole routing with small buffers or without buffers. These results are presented in detail and their potential applications are discussed. The book concludes with a summary of open problems and an outlook of future directions in the area of routing theory.

This book constitutes the strictly refereed post-conference proceedings of the 6th International Symposium on Graph Drawing, GD '98, held in Montreal, Canada in August 1998.The 23 revised full papers presented were carefully selected for inclusion in the book from a total of 57 submissions. Also included are nine system demonstrations and abstracts of 14 selected posters. The papers presented cover the whole range of graph drawing, ranging from theoretical aspects in graph theory to graph drawing systems design and evaluation, graph layout and diagram design.

The international conference on Intelligent Tutoring Systems ITS-92 held in Montreal in June 1992 is the second in the series, following the success of ITS-88 held in Montrel in 1988. This proceedings volume contains 72 papers selected by the ITS-92 program committee from 160 papers submitted. They are preceded by six invited lectures from renowned speakers. Each paper was reviewed by at least three referees. The papers cover a wide range of subjects including: learning environments, architecture for ITS, kinowldge representation in ITS, cognitive models, help and advising systems, formal...

This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995
The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one...

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liege, Belgium in July 1995.
The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the...

This book constitutes the refereed proceedings of the 6th European Workshop on Software Process Technology, EWSPT '98, held in Weybridge, UK in September 1998.
The 16 revised full papers presented were selected from more than 40 submissions; also included are 10 position papers. The volume covers all current aspects of software process technology taking into account both the academic point of view as well as the needs of the practitioners from industry.

This text constitutes the refereed proceedings of the 5th International Symposium on Static Analysis, SAS'98, held in Pisa, Italy, in September 1998. The 20 revised full papers presented were reviewed and selected from a total of 48 submissions. Also included is an invited tutorial. The papers are organized into topical sections on data flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference and optimization. The invited tutorial by David Schmidt and Bernhard Steffen is entitled Data-flow analysis as model checking of abstract interpretations.

This book constitutes the refereed proceedings of the 12th International Symposium on Distributed Computing, DISC'98, held in Andros, Greece, in September 1998.
The 28 revised papers presented were carefully reviewed and selected from a total of 87 submissions. Also included are one invited paper and two abstracts of invited contributions. The papers address all currect issues of distributed systems, in particular Internet-based computing, shared-memory systems, ATM networks, security aspects, Java process coordination, network protocols, wait-free systems, shared objects, resource...

This book constitutes the refereed proceedings of the 1998 International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT '98, held in Espoo, Finland, in May/June 1998.
The book presents 44 revised full papers selected from a total of 161 submissions. The papers are organized in sections on distributed cryptography, complexity, cryptanalysis of block ciphers, computational algorithms, paradigms for symmetric systems, public key cryptosystems, multi-party computation, digital signatures, Boolean functions, combinatorial design and analysis, elliptic curve...