Cantitate/Preț
Produs
Total produse
Vezi coșul
Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 de Günter Hommel

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ț: 61157 lei

Preț vechi: 71949 lei
-15%

Puncte Express: 917

Carte tipărită la comandă

Livrare economică 10-24 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

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.