554 search results - page 70 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
160
click to vote
INFOCOM
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract—A multicast flow control framework for data traffic traversing both a wired and wireless network is proposed. Markov-modulated fluid (MMF) models are used for the rec...
184
click to vote
INFOCOM
2009
IEEE
16 years 23 days ago
2009
IEEE
—A new random linear network coding scheme for reliable communications for time division duplexing channels is proposed. The setup assumes a packet erasure channel and that nodes...
194
click to vote
JSAC
2011
15 years 1 months ago
2011
—This paper studies the multihop packet delivery delay in a low density vehicular ad hoc network (VANET). We address a disrupted vehicle-to-infrastructure communication scenario,...
167
click to vote
CANS
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Wireless sensor networks have several useful applications in commercial and defense settings, as well as user-centric personal area networks. To establish secure (point-t...
151
click to vote
VTC
2007
IEEE
16 years 12 days ago
2007
IEEE
Abstract— Datacasting employs the excess bandwidth from digital television signals for use in one-way data transmission, and it is being used successfully for high-speed download...