Quality of Communication-Based Systems
Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
(Sprache: Englisch)
Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their...
Leider schon ausverkauft
versandkostenfrei
Buch (Kartoniert)
122.47 €
Produktdetails
Produktinformationen zu „Quality of Communication-Based Systems “
Klappentext zu „Quality of Communication-Based Systems “
Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas:- Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logics
- Performance evaluation, dependability modelling and analysis of real-time systems with different kinds of timed Petri-nets
- Specification and analysis of communication protocols
- Reliability, security and dependability in distributed systems
- Object orientation in distributed systems architecture
- Software development and concepts for distributed applications
- Computer network architecture and management
- Language concepts for distributed systems.
Inhaltsverzeichnis zu „Quality of Communication-Based Systems “
Contributions to Quality from Specification Techniques.- Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes.- Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs.- Specification of Concurrent Systems: from Petri Nets to Graph Grammars.- Towards a Theory of Strong Bisimulation for the Service Rendezvous.- Contributions to Quality from Quantitative Modelling.- Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets.- Performance Modeling with Structured Actions.- Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables.- Discrete Time Deterministic and Stochastic Petri Nets.- Contributions to Quality from Distributed Systems Organization.- Bauhaus Linda: An Overview.- Naming and Typing in Languages for Coordination in Open Distributed System.- An Efficient Implementation of Decoupled Communication in Distributed Environments.- Extending the Rôle of Object References in Distributed Systems.- On Protocols for Loss-less Statistical Multiplexing in Integrated Networks.
Bibliographische Angaben
- 2012, Softcover reprint of the original 1st ed. 1995, X, 195 Seiten, Maße: 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Günter Hommel
- Verlag: Springer Netherlands
- ISBN-10: 9401040842
- ISBN-13: 9789401040846
Sprache:
Englisch
Kommentar zu "Quality of Communication-Based Systems"
0 Gebrauchte Artikel zu „Quality of Communication-Based Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Quality of Communication-Based Systems".
Kommentar verfassen