288 search results - page 39 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
115
click to vote
IAJIT
2007
14 years 11 months ago
2007
: Mobile ad-hoc network is a network without infrastructure where every node has its own protocols and services for powerful cooperation in the network. Every node also has the abi...
121
click to vote
TMC
2008
14 years 11 months ago
2008
A k-hop dominating set is a subset of nodes such that each node not in the set can be reached within k hops from at least one node in the set. A connected k-hop dominating set can ...
122
click to vote
TON
2008
14 years 11 months ago
2008
Significant progress has been made towards making ad hoc networks secure and DoS resilient. However, little attention has been focused on quantifying DoS resilience: Do ad hoc netw...
134
click to vote
PIMRC
2010
IEEE
14 years 9 months ago
2010
IEEE
Wireless multihop ad hoc networks face a multitude of challenging problems including highly dynamic multihop topologies, lossy and noisy communications channels, and sporadic conne...
127
click to vote
ANSS
2007
IEEE
15 years 6 months ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...