7992 search results - page 179 / 1599 » Communication Abstractions for Distributed Systems |
FROCOS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
PDPTA
2000
13 years 11 months ago
2000
Abstract We describe an event-based, publishand-subscribe system based on using "smart subscriptions" to recognize weakly structured events. We present a hierarchy of sub...
COOPIS
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract. We describe a mechanism based on distributed Event-ConditionAction (ECA) rules that supports data coordination in a multidatabase setting. The proposed mechanism includes...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
Communications systems, encompassing VoIP, IM, and other personal media, present different challenges for P2P environments than other P2P applications. In particular, reliable com...
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper introduces semi-user-level communication architecture, a new high-performance light-weighted communication architecture for inter-node communication of clusters. Differ...