Cantitate/Preț
Produs
Total produse
Vezi coșul
Quality of Communication-Based Systems de Gunter Hommel

Quality of Communication-Based Systems

Editat de Gunter Hommel, Gunther Hommel
en Limba Engleză Hardback – 31 dec 1994
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ț: 67862 lei

Preț vechi: 79837 lei
-15% Nou

Puncte Express: 1018
Preț estimativ în valută:
12989€ • 13537$ • 10812£

Carte tipărită la comandă

Livrare economică 04-18 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780792332596
ISBN-10: 0792332598
Pagini: 195
Dimensiuni: 160 x 240 mm
Greutate: 0.47 kg
Editura: Kluwer Academic Publishers
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; J. Padberg. Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs; A. Pierantonio. Specification of Concurrent Systems: from Petri Nets to Graph Grammars; A. Corradini, U. Montanari. Towards a Theory of Strong Bisimulation for the Service Rendezvous; M. Baldamus. Contributions to Quality from Quantitative Modelling. Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets; V. Mainkar, K.S. Trivedi. Performance Modeling with Structured Actions; I. Schieferdecker. Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables; R. German. Discrete Time Deterministic and Stochastic Petri Nets; R. Zijal. Contributions to Quality from Distributed Systems Organization. Bauhaus Linda: an Overview; N. Carriero, D. Gelernter, L. Zuck. Naming and Typing in Languages for Coordination in Open Distributed Systems; R. Tolksdorf. An Efficient Implementation of Decoupled Communication in Distributed Environments; A. Polze. Extending the Role of Object References in Distributed Systems; P. Dickman. On Protocols for Loss-Less Statistical Multiplexing in Integrated Networks; M. Mateescu.