Sciweavers

7992 search results - page 37 / 1599
» Communication Abstractions for Distributed Systems
Sort
View
SCP
2011
197views Communications» more  SCP 2011»
13 years 2 months ago
A state/event-based model-checking approach for the analysis of abstract system properties
system properties Maurice H. ter Beeka,∗ , Alessandro Fantechia,b , Stefania Gnesia , Franco Mazzantia a Istituto di Scienza e Tecnologie dell’Informazione ‘‘A. Faedo’’...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
BIOWIRE
2007
Springer
14 years 1 months ago
A Rule System for Network-Centric Operation in Massively Distributed Systems
Sensor and Actor Networks (SANETs) represent a specific class of massively distributed systems in which classical communication protocols often fail due to scalability problems. N...
Falko Dressler, Reinhard German
ECOOP
2000
Springer
13 years 12 months ago
Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction
ions for Publish/Subscribe Interaction Patrick Th. Eugster1 , Rachid Guerraoui1 , and Joe Sventek2 1 Swiss Federal Institute of Technology, Lausanne 2 Agilent Laboratories Scotland...
Patrick Th. Eugster, Rachid Guerraoui, Joe Sventek