1498 search results - page 18 / 300 » A Process Calculus for Mobile Ad Hoc Networks |
IFIPTCS
2010
13 years 5 months ago
2010
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, a reliability analysis is carried out to state a performance comparison between two recently proposed proactive routing algorithms. These protocols are able to scale...
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—Position-based routing protocols use location information to refine the traditional packet flooding method in mobile ad hoc networks. They mainly focus on densely and ...
DALT
2004
Springer
14 years 1 months ago
2004
Springer
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...