554 search results - page 70 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
INFOCOM
1997
IEEE
14 years 29 days 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...
INFOCOM
2009
IEEE
14 years 3 months 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...
JSAC
2011
13 years 3 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,...
CANS
2009
Springer
14 years 3 months 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...
VTC
2007
IEEE
14 years 3 months 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...