101 search results - page 2 / 21 » Equational Reasoning on Ad Hoc Networks |
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...
WWIC
2007
Springer
13 years 10 months ago
2007
Springer
Mobile Ad Hoc networks (MANETs) are susceptible to having their effective operation compromised by a variety of security attacks. Nodes may misbehave either because they are malici...
AINA
2007
IEEE
13 years 6 months ago
2007
IEEE
In mobile ad hoc networks (MANETs), multi-hop message relay is the common way for nodes to communicate and participate in network operations, making routing a primary issue. The e...
ADHOCNOW
2006
Springer
13 years 10 months ago
2006
Springer
In mobile ad hoc network research, simulation plays an important role in determining the network characteristics and measuring performance. On the other hand, unrealistic simulatio...
INFOCOM
2006
IEEE
13 years 10 months ago
2006
IEEE
— We present in this work a new mechanism based on an innovative hybrid approach for traffic and collision control in wireless ad hoc networks. We combine the well known equatio...