312 search results - page 29 / 63 » Protocols for Non-Deterministic Communication over Synchrono... |
103
click to vote
FMOODS
2007
14 years 11 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
109
click to vote
LICS
1993
IEEE
15 years 1 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
77
Voted
ICC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Accurate simulation and analysis of wireless protocols and systems is inherently dependent on an accurate model of the underlying channel. In this paper, we show that residual ...
102
click to vote
MOBICOM
1999
ACM
15 years 2 months ago
1999
ACM
Wireless wide-area networks (WWANs) are characterized by very low and variable bandwidths, very high and variable delays, significant non-congestion related losses, asymmetric upl...
86
Voted
IPSN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract— Sensing, processing and communication must be jointly optimized for efficient operation of resource-limited wireless sensor networks. We propose a novel source-channel...