-
DISPONIBILITÀ IMMEDIATA
{{/disponibilitaBox}}
-
{{speseGratisLibroBox}}
{{/noEbook}}
{{^noEbook}}
-
Libro
-
- Genere: Libro
- Lingua: Inglese
- Editore: Springer
- Pubblicazione: 12/2010
- Edizione: Softcover reprint of hardcover 1st ed. 2000
Communication-Based Systems
hommel günter (curatore)
108,98 €
103,53 €
{{{disponibilita}}}
SOMMARIO
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.ALTRE INFORMAZIONI
- Condizione: Nuovo
- ISBN: 9789048153992
- Dimensioni: 235 x 155 mm
- Formato: Brossura
- Illustration Notes: X, 196 p.
- Pagine Arabe: 196
- Pagine Romane: x