Martin Odersky

Lothar Thiele

Yuri Gurevich

Philipp W. Kutter

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl ̈asser and G. del Castillo (on the topic \Specifying Concurrent Systems with ASMs"), H. Russ ̈ and N. Shankar (on the topic \A Tutorial Introduction to PVS"), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic \Developing Domain Speci c Languages"). In response to the organization committee’s call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.

International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

Abstract State Machines - Theory and Applications

Gerhard Tröster

Paul Lukowicz

This book constitutes the refereed proceedings of the 20th International Conference on Architecture of Computing Systems, ARCS 2007, held in Zurich, Switzerland in March 2007. Coverage details a broad range of research topics related to basic technology, architecture, and application of computing systems with a strong focus on system aspects of pervasive computing and self organization techniques in both organic and autonomic computing.

20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings

Architecture of Computing Systems - ARCS 2007

Kalyanmoy Deb

Eckart Zitzler

Carlos M. Fonseca

Peter J. Fleming

This book constitutes the refereed proceedings of the Second International Conference on Evolutionary Multi-Criterion Optimization, EMO 2003, held in Faro, Portugal, in April 2003. The 56 revised full papers presented were carefully reviewed and selected from a total of 100 submissions. The papers are organized in topical sections on objective handling and problem decomposition, algorithm improvements, online adaptation, problem construction, performance analysis and comparison, alternative methods, implementation, and applications.

Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings

Evolutionary Multi-Criterion Optimization

Francesca Rossi

Manfred Morari

This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control, HSCC 2005, held in Zurich, Switzerland in March 2005. The 40 revised full papers presented together with 2 invited papers and the abstract of an invited talk were carefully reviewed and selected from 91 submissions. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Among the topics addressed are tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation.

8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

Hybrid Systems: Computation and Control

Lothar Thiele

Books

Your next favorite book is out there