Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Catalogue Card Display
Catalogue Card Display
RAK
Title: Communication-Based Systems ([EBook] :) : Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000 // edited by Günter Hommel. Dewey Class: 512.6 Added Personal Name: Hommel, Günter. editor. Publication: Dordrecht : : Springer Netherlands : : Imprint: Springer,, 2000. Other name(s): SpringerLink (Online service) Physical Details: X, 196 p. : online resource. ISBN: 9789401596084 System details note: Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users) Contents note: Performance Evaluation of Communication Based Systems -- GSPN Models of Dual-Band GSM Networks -- Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets -- Safe System-Level Diagnosis for Selected Fault Models -- Fault-Tolerance Mechanisms for a Parallel Programming System — A Responsiveness Perspective -- 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 -- Compositional Specification of Distributed Systems by Distributed Graph Transformation -- Specifying, Analyzing and Programming Communication Systems in Maude -- Towards Dynamic Shaping -- A Personal, Historical Perspective of Parallel Programming for High Performance -- Distributed Environments for Communication Based Systems -- Automatic Distribution in Pangaea -- Multiphase Consensus Finding in Collaborative Problem Solving -- Efficient and Secure Information Sharing in Distributed, Collaborative Environments -- A Constraint Programming Framework for AI Planning -- Atomic Broadcast in a Byzantine Model. ------------------------------ *** There are no holdings for this record *** -----------------------------------------------
Quick Search
Search for