735 search results - page 142 / 147 » On the scalability of ad hoc routing protocols |
ISSTA
2000
ACM
15 years 1 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
MASS
2010
14 years 7 months ago
2010
Traffic congestion is a very serious problem in large cities. With the number of vehicles increasing rapidly, especially in cities whose economy is booming, the situation is gettin...
WICOMM
2008
14 years 9 months ago
2008
Since mobile ad hoc networks (MANETs) are infrastructureless and multi-hop by nature, transmitting packets from any node to another usually relies on services provided by intermed...
101
click to vote
SECON
2007
IEEE
15 years 3 months ago
2007
IEEE
—Mobile ad hoc networks (MANETs) are a critical technology in filling the gap where the network infrastructure is insufficient or does not exist at all. The dynamic topology of...
100
click to vote
RTSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Location services are essential to many applications running on a hybrid of wirelessly-networked mobile actors and static sensors, such as surveillance systems and the Pursuer and...