Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000 - Brossura

Hommel, Gunter

Brossura

ISBN 10: 9401596093 ISBN 13: 9789401596091

Casa editrice: Springer, 2014

Riassunto

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2014
• Lingua: Inglese
• ISBN 10: 9401596093
• ISBN 13: 9789401596091
• Rilegatura: Copertina flessibile
• Numero di pagine: 208
• Contatto del produttore: Elevation; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; 22391; Germania