Communication-Based Systems -

Communication-Based Systems

Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000

Günter Hommel (Herausgeber)

Buch | Hardcover
196 Seiten
2000
Springer (Verlag)
978-0-7923-6173-2 (ISBN)
106,99 inkl. MwSt
Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March-1 April 2000
Since 1990 the German Research Society (Deutsche Forschungsgemeinschaft, DFG) has been funding PhD courses (Graduiertenkollegs) at selected universi- ties in the Federal Republic of Germany. TU Berlin has been one of the first universities joining that new funding program of DFG. The PhD courses have been funded over aperiod of 9 years. The grant for the nine years sums up to approximately 5 million DM. Our Grnduiertenkolleg on Communication-based Systems has been assigned to the Computer Science Department of TU Berlin although it is a joined effort of all three universities in Berlin, Technische Uni- versitat (TU), Freie Universitat (FU), and Humboldt Universitat (HU). The Graduiertenkolleg has been started its program in October 1991. The professors responsible for the program are: Hartmut Ehrig (TU), Gunter Hommel (TU), Stefan Jahnichen (TU), Peter Lohr (FU), Miroslaw Malek (RU), Peter Pep- per (TU), Radu Popescu-Zeletin (TU), Herbert Weber (TU), and Adam Wolisz (TU). The Graduiertenkolleg is a PhD program for highly qualified persons in the field of computer science. Twenty scholarships have been granted to fellows of the Graduiertenkolleg for a maximal period of three years.
During this time the fellows take part in a selected educational program and work on their PhD thesis.

Performance Evaluation of Communication Based Systems.- GSPN Models of Dual-Band GSM Networks.- Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets.- Safe System-Level Diagnosis for Selected Fault Models.- Fault-Tolerance Mechanisms for a Parallel Programming System — A Responsiveness Perspective.- Foundations and Applications of Communication Based Systems.- Run Time Modification of Algebraic High Level Nets and Algebraic Higher Order Nets using Folding and Unfolding Construction.- Compositional Specification of Distributed Systems by Distributed Graph Transformation.- Specifying, Analyzing and Programming Communication Systems in Maude.- Towards Dynamic Shaping.- A Personal, Historical Perspective of Parallel Programming for High Performance.- Distributed Environments for Communication Based Systems.- Automatic Distribution in Pangaea.- Multiphase Consensus Finding in Collaborative Problem Solving.- Efficient and Secure Information Sharing in Distributed, Collaborative Environments.- A Constraint Programming Framework for AI Planning.- Atomic Broadcast in a Byzantine Model.

Erscheint lt. Verlag 29.2.2000
Zusatzinfo X, 196 p.
Verlagsort Dordrecht
Sprache englisch
Maße 155 x 235 mm
Themenwelt Mathematik / Informatik Informatik Netzwerke
Mathematik / Informatik Mathematik Allgemeines / Lexika
Mathematik / Informatik Mathematik Algebra
ISBN-10 0-7923-6173-3 / 0792361733
ISBN-13 978-0-7923-6173-2 / 9780792361732
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
das umfassende Handbuch für den Einstieg in die Netzwerktechnik

von Martin Linten; Axel Schemberg; Kai Surendorf

Buch | Hardcover (2023)
Rheinwerk (Verlag)
29,90
das Praxisbuch für Admins und DevOps-Teams

von Michael Kofler

Buch | Hardcover (2023)
Rheinwerk (Verlag)
39,90