1359 search results - page 1 / 272 » Equational Reasoning on Mobile Ad Hoc Networks |
FUIN
2010
13 years 1 months ago
2010
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
FSEN
2009
Springer
13 years 11 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
GIS
2006
ACM
13 years 4 months ago
2006
ACM
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...
SIGMETRICS
2010
ACM
13 years 4 months ago
2010
ACM
Abstract Due to complexity and intractability reasons, most of the analytical studies on the reliability of communication paths in mobile ad hoc networks are based on the assumptio...