1362 search results - page 67 / 273 » Model Checking Large Network Protocol Implementations |
125
click to vote
IJHPCN
2006
15 years 4 months ago
2006
: This paper presents several ideas pertaining to desirable properties associated with protocols for moving large amounts of data over a grid of high performance computers. The pro...
158
click to vote
ADHOC
2010
15 years 4 months ago
2010
In this paper, we investigate the reliable data transport problem in underwater sensor networks. Underwater sensor networks are significantly different from terrestrial sensor net...
165
click to vote
ICCCN
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper, we investigate the reliable data transport problem in underwater sensor networks. Underwater sensor networks are significantly different from terrestrial sensor ...
149
click to vote
DCOSS
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new data dissemination protocol for wireless sensor networks, that basically pulls some additional knowledge about the network in order to subsequently improve data fo...
259
Voted
RTAS
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Home area networks (HANs) promise to enable sophisticated home automation applications such as smart energy usage and assisted living. However, recent empirical study of...