Cantitate/Preț
Produs

Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994

Editat de Günter Hommel
en Limba Engleză Paperback – 14 oct 2012
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.
Citește tot Restrânge

Preț: 63612 lei

Preț vechi: 74838 lei
-15% Nou

Puncte Express: 954

Preț estimativ în valută:
12173 12632$ 10175£

Carte tipărită la comandă

Livrare economică 15-29 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789401040846
ISBN-10: 9401040842
Pagini: 208
Ilustrații: X, 195 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.3 kg
Ediția:Softcover reprint of the original 1st ed. 1995
Editura: SPRINGER NETHERLANDS
Colecția Springer
Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

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.