1359 search results - page 18 / 272 » Equational Reasoning on Mobile Ad Hoc Networks |
MOBILITY
2009
ACM
14 years 4 days ago
2009
ACM
ENTCS
2007
13 years 7 months ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...
HASE
2007
IEEE
13 years 11 months ago
2007
IEEE
Recently, many routing protocols and applications for mobile ad hoc networks have been proposed. However, most of them are tested through the simulation experiments, but are not d...
POLICY
2004
Springer
14 years 25 days ago
2004
Springer
Ad hoc networking is the basis of the future military network-centric warfare architecture. Such networks are highly dynamic in nature, as mobile ad hoc networks are formed over w...
ACMSE
2004
ACM
14 years 27 days ago
2004
ACM
In this paper, we survey recent advances in mobility modeling for mobile ad hoc network research. The advances include some new mobility models and analysis of older mobility mode...