Sciweavers

2470 search results - page 283 / 494
» Liveness-Preserving Simulation Relations
Sort
View
ICC
2007
IEEE
101views Communications» more  ICC 2007»
15 years 11 months ago
Range-based Mobility Estimations in MANETs with Application to Link Availability Prediction
— The quality of communications in mobile ad-hoc networks is largely determined by the topological stability. Characterizing the mobility of mobile nodes (e.g. how often they mov...
Zhuoqun Li, Lingfen Sun, Emmanuel C. Ifeachor
ICC
2007
IEEE
117views Communications» more  ICC 2007»
15 years 11 months ago
ESPRIT-Based Directional MAC Protocol for Mobile Ad Hoc Networks
— The use of directional antennas in mobile ad hoc networks has shown to offer large potential throughput gains relative to omnidirectional antennas. When used in ad hoc networks...
Kun Liu, Walaa Hamouda, Amr Youssef
ICRA
2007
IEEE
159views Robotics» more  ICRA 2007»
15 years 11 months ago
Two Vision-guided vehicles: temporal coordination using nonlinear dynamical systems
— This article addresses the problem of generating timed trajectories and temporally coordinated movements for two wheeled vehicles, when relatively low-level, noisy sensorial in...
Cristina P. Santos, Manuel Ferreira
INFOCOM
2007
IEEE
15 years 11 months ago
Broadcast Flooding Revisited: Survivability and Latency
—This paper addresses the dynamics of broadcast flooding in random wireless ad hoc networks. In particular, we study the subset of nodes covered by a flood as well as timing is...
Petteri Mannersalo, Alireza Keshavarz-Haddad, Rudo...
121
Voted
NCA
2007
IEEE
15 years 11 months ago
A Topological Analysis of Monitor Placement
The Internet is an extremely complex system, and it is essential that we be able to make accurate measurements in order to understand its underlying behavior or to detect improper...
Alden W. Jackson, Walter C. Milliken, Cesar A. San...