-
DISPONIBILITÀ IMMEDIATA
{{/disponibilitaBox}}
-
{{speseGratisLibroBox}}
{{/noEbook}}
{{^noEbook}}
-
Libro
-
Communication-Based Systems
hommel günter (curatore)
108,98 €
103,53 €
{{{disponibilita}}}
TRAMA
Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March-1 April 2000SOMMARIO
Performance Evaluation of Communication Based Systems. GSPN Models of Dual-Band GSM Networks; M.A. Marsan, et al. Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets; O. Kluge. Safe System-Level Diagnosis for Selected Fault Models; M. Werner. Fault-Tolerance Mechanisms for a Parallel Programming System - A Responsiveness Perspective; H. Karl. 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; K. Hoffmann. Compositional Specification of Distributed Systems by Distributed Graph Transformation; M. Koch. Specifying, Analyzing and Programming Communication Systems in Maude; J. Meseguer. Towards Dynamic Shaping; C.B. Jay, G. Keller. A Personal, Historical Perspective of Parallel Programming for High Performance; C. Lengauer. Distributed Environments for Communication Based Systems. Automatic Distribution in Pangaea; A. Spiegel. Multiphase Consensus Finding in Collaborative Problem Solving; M. Hannenbauer. Efficient and Secure Information Sharing in Distributed, Collaborative Environments; P. Dasgupta, et al. A Constraint Programming Framework for AI Planning; A. Nareyek. Atomic Broadcast in a Byzantine Model; A. Doudou, et al.ALTRE INFORMAZIONI
- Condizione: Nuovo
- ISBN: 9780792361732
- Dimensioni: 235 x 155 mm Ø 1040 gr
- Formato: Copertina rigida
- Illustration Notes: X, 196 p.
- Pagine Arabe: 196
- Pagine Romane: x