Sciweavers

7992 search results - page 37 / 1599
» Communication Abstractions for Distributed Systems
Sort
View
SCP
2011
197views Communications» more  SCP 2011»
14 years 6 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
15 years 6 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
15 years 4 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