Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000 - Brossura

 
9789048153992: Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000
Brossura
ISBN 10: 9048153999 ISBN 13: 9789048153992
Casa editrice: Springer, 2010

Sinossi

This workshop on Communication-Based Systems is intended to present the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts were invited to give their views on the following research areas:

  • Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi, and temporal logics;
  • Performance evaluation, dependability modeling, 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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Performance Evaluation of Communication Based Systems. GSPN Models of Dual-Band GSM Networks; M.A. Marsan, et al. Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets; O. Kluge. Safe System-Level Diagnosis for Selected Fault Models; M. Werner. Fault-Tolerance Mechanisms for a Parallel Programming System - A Responsiveness Perspective; H. Karl. 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; K. Hoffmann. Compositional Specification of Distributed Systems by Distributed Graph Transformation; M. Koch. Specifying, Analyzing and Programming Communication Systems in Maude; J. Meseguer. Towards Dynamic Shaping; C.B. Jay, G. Keller. A Personal, Historical Perspective of Parallel Programming for High Performance; C. Lengauer. Distributed Environments for Communication Based Systems. Automatic Distribution in Pangaea; A. Spiegel. Multiphase Consensus Finding in Collaborative Problem Solving; M. Hannenbauer. Efficient and Secure Information Sharing in Distributed, Collaborative Environments; P. Dasgupta, et al. A Constraint Programming Framework for AI Planning; A. Nareyek. Atomic Broadcast in a Byzantine Model; A. Doudou, et al.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2010
Lingua
Inglese
ISBN 10 
9048153999
ISBN 13 
9789048153992
Rilegatura
Copertina flessibile
Numero di pagine
208
Redattore
Hommel Günter
Contatto del produttore
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania

Altre edizioni note dello stesso titolo

9780792361732: Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000

Edizione in evidenza

ISBN 10:  0792361733 ISBN 13:  9780792361732
Casa editrice: Springer-Verlag GmbH, 2000
Rilegato