Sciweavers

101 search results - page 1 / 21
» Equational Reasoning on Ad Hoc Networks
Sort
View
97
Voted
FSEN
2009
Springer
15 years 7 months ago
Equational Reasoning on Ad Hoc Networks
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...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
141
Voted
FUIN
2010
163views more  FUIN 2010»
14 years 10 months ago
Equational Reasoning on Mobile Ad Hoc Networks
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...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
110
Voted
ICWN
2004
15 years 2 months ago
Sustaining Performance Under Traffic Overload
In this paper, we investigate the performance of wireless ad hoc networks with traffic loads beyond saturation. While it is desirable to operate a network below saturation, an ad h...
Saman Desilva, Rajendra V. Boppana
120
Voted
GIS
2006
ACM
15 years 1 months ago
Ad hoc shared-ride trip planning by mobile geosensor networks
Stephan Winter, Silvia Nittel
106
Voted
SIGMETRICS
2010
ACM
203views Hardware» more  SIGMETRICS 2010»
15 years 1 months ago
An analytical framework to infer multihop path reliability in MANETs
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...
Nelson Antunes, Gonçalo Jacinto, Antó...