226 search results - page 31 / 46 » Formal Verification of a Multicast Protocol In Mobile Networ... |
TASE
2009
IEEE
14 years 2 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
MOBIHOC
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, we define multicast for ad hoc network through nodes' mobility as MotionCast, and study the capacity and delay tradeoffs for it. Assuming nodes move according ...
JUCS
2008
13 years 7 months ago
2008
: In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no one other than U and V can obtain the messages ex...
ESAS
2007
Springer
13 years 11 months ago
2007
Springer
Secure communication over wireless channels necessitates authentication of communication partners to prevent man-in-the-middle attacks. For spontaneous interaction between independ...
PEWASUN
2004
ACM
14 years 28 days ago
2004
ACM
This paper studies the performance of a multi-rate mobile ad hoc network (MANET) using an extended ns-2 simulator. A link adaptation algorithm is developed and tested. The multi-r...