455 search results - page 90 / 91 » Distributed aerial scanning in mobile ad-hoc networks |
DSN
2002
IEEE
14 years 15 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
—Autonomous wireless agents such as unmanned aerial vehicles, mobile base stations, or self-operating wireless nodes present a great potential for deployment in next-generation w...
ICDCS
2010
IEEE
13 years 7 months ago
2010
IEEE
In this paper, we present 3DLoc: an integrated system of hardware and software toolkits for locating an 802.11compliant mobile device in a three dimensional (3D) space. 3DLoc feat...
IAJIT
2011
12 years 11 months ago
2011
: Handoff is a critical function that enables mobile nodes to stay connected to the wireless network by switching the data connection from one WLAN to another. During handoff the c...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Signi cant eort has been invested recently to accelerate handover operations in a next generation mobile Internet. Corresponding works for developing e cient mobile multicast man...