Bøger af Lothar Thiele

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"e;), H. Russ * and N. Shankar (on the topic \A Tutorial Introduction to PVS"e;), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic \Developing Domain Speci c Languages"e;). 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.

The ARCS series of conferences has over 30 years of tradition reporting hi- quality results in computer architecture and operating systems research. While the conference is proud of its long tradition, it is also proud to represent a - namic, evolving community that closely follows new research trends and topics. Thus, over the last few years, ARCS has evolved towards a strong focus on s- tem aspects of pervasive computing and self-organization techniques (organic and autonomic computing). At the same time it has expanded from its roots as a German Informatics Society (GI/ITG) conference to an international event. This is re?ected by the composition of the TPC which included over 30 renown scientist from 10 di?erent countries. The conference attracted 83 submission from 16 countries across 4 continents. Of those, 20 have been accepted, which amounts to an acceptance rate below 25%. The 20th ARCS event was a special anniversary conference. It is only ?tting that it was held at a special place: the ETH Zurich. It combines one of the leading information technology schools in Europe with a beautiful location.