352 search results - page 31 / 71 » Proof-Checking a Data Link Protocol |
ADHOCNETS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. As wireless sensor networks gain in popularity, many deployments are posing new challenges due to their diverse topologies and resource constraints. Previous work has sho...
HICSS
2012
IEEE
12 years 4 months ago
2012
IEEE
—The selection of a path in a network from one node to another is performed by a routing protocol, often using the shortest path approach. However, it has been shown that in wire...
WOWMOM
2006
ACM
14 years 2 months ago
2006
ACM
A wireless sensor network typically consists of a dense deployment of sensor nodes to achieve higher resolution and better network coverage. A dense network also increases the fau...
WETICE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Social networking web sites, which allow users to create identities and link them to friends who have also created identities, are highly popular. Systems such as Facebook and M...
GRID
2003
Springer
14 years 1 months ago
2003
Springer
Data-sharing scientific communities use storage systems as distributed data stores by replicating content. In such highly replicated environments, a particular dataset can reside ...