1359 search results - page 3 / 272 » Equational Reasoning on Mobile Ad Hoc Networks |
PEWASUN
2004
ACM
13 years 10 months ago
2004
ACM
A mobile ad hoc network consists of mobile nodes that can move freely in an open environment. Communicating nodes in a wireless and mobile ad hoc network usually seek the help of ...
PE
2006
Springer
13 years 4 months ago
2006
Springer
Malicious nodes in a mobile and wireless ad hoc network can be a threat to the security and/or anonymity of the exchanged data. While data encryption can protect the content excha...
SEFM
2008
IEEE
13 years 11 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
PERCOM
2004
ACM
14 years 4 months ago
2004
ACM
Current peer-to-peer file-sharing systems mostly work on wired networks. Mobile ad hoc network is characterized as multi-hop wireless communications between mobile devices. In thi...
INFOCOM
2006
IEEE
13 years 11 months ago
2006
IEEE
— Since the original work of Grossglauser and Tse, which showed that the mobility can increase the capacity of an ad hoc network, there has been a lot of interest in characterizi...