1362 search results - page 82 / 273 » Model Checking Large Network Protocol Implementations |
151
Voted
ICPADS
2002
IEEE
15 years 8 months ago
2002
IEEE
Network emulation systems are widely used to explore the behavior of network protocols and to test and evaluate protocol implementations and applications. The major problem of net...
154
click to vote
JNW
2008
15 years 3 months ago
2008
The rapid growth of IP-based mobile telecommunication technologies in the past few years has revealed situations where not only a single node but an entire network moves and change...
168
click to vote
EUC
2006
Springer
15 years 7 months ago
2006
Springer
In mobile ad hoc networks, mobile devices wander autonomously for the use of wireless links and dynamically varying network topology. AODV (Ad-hoc on-demand Distance vector routing...
172
click to vote
TMC
2011
14 years 10 months ago
2011
—An energy-efficient, reliable and timely data transmission is essential for wireless sensor networks (WSNs) employed in scenarios where plant information must be available for ...
141
click to vote
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...