1359 search results - page 167 / 272 » Equational Reasoning on Mobile Ad Hoc Networks |
MOBIHOC
2000
ACM
15 years 3 months ago
2000
ACM
Abstract— This paper presents a radically new multicast model for ad hoc wireless networks. In this model, the content of the multicast data determines the receiver set for the d...
PERCOM
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we introduce the Virtual Paths Routing (VPR) Protocol for ad hoc wireless networks. VPR provides highly dynamic, correct, and efficient paths creation and maintenan...
114
click to vote
ICIP
2006
IEEE
15 years 5 months ago
2006
IEEE
—In this paper, we propose multiple tree construction schemes and routing protocols for video streaming over wireless ad hoc networks. The basic idea is to split the video into m...
91
Voted
CONCUR
2010
Springer
15 years 7 days ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
102
click to vote
IJHPCN
2006
14 years 11 months ago
2006
: On-demand routing protocols are widely used in mobile ad hoc networks due to their capability of adjusting to frequent network topology changes within acceptable routing overhead...