7992 search results - page 482 / 1599 » Communication Abstractions for Distributed Systems |
169
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
143
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
—Recently 3GPP (Third Generation Partnership Project) has standardised MBMS (Multimedia Broadcast Multicast Services) enabling broadcast and multicast transmissions over GPRS (Ge...
151
Voted
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Wireless sensor network (WSN) applications have been studied extensively in recent years. Such applications involve resource-limited embedded sensor nodes that have small size and...
131
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
—Multi-channel operation in wireless systems has been proposed to increase user throughput and reduce transmission delays. However, multi-channel operation requires adequate reso...
148
Voted
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...