1498 search results - page 245 / 300 » A Process Calculus for Mobile Ad Hoc Networks |
185
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
151
click to vote
MUE
2007
IEEE
15 years 12 months ago
2007
IEEE
Swarm Intelligence (SI) inspired routing algorithms have become a research focus in recent years due to their self-organizing nature, which is very suitable to the routing problem...
121
click to vote
ICPADS
2005
IEEE
15 years 11 months ago
2005
IEEE
Point-to-point transmissions represent a fundamental primitive in any communication network. Despite many proave appeared in the literature, providing an efficient implementation ...
168
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— A Mobile Ad hoc Network (MANET) is a collection of wireless mobile nodes forming a temporary network without using any existing infrastructure. Since not many MANETs are curren...
224
click to vote
MOBIHOC
2001
ACM
16 years 5 months ago
2001
ACM
A Bluetooth ad hoc network can be formed by interconnecting piconets into scatternets. The constraints and properties of Bluetooth scatternets present special challenges in formin...