3938 search results - page 417 / 788 » Interactive Protocols on the Reals |
181
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Vehicular ad hoc networks using WLAN technology have recently received considerable attention. We present a position-based routing scheme called Connectivity-Aware Routing (CAR...
175
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper an efficient scheduling mechanism for wireless local area networks (WLAN) is proposed. This innovative scheme, named hybrid HCCA-EDCA centralised scheme (HHECS), is b...
200
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
176
click to vote
NOMS
2006
IEEE
16 years 26 days ago
2006
IEEE
— This paper addresses the problem of managing a wireless sensor network with mobile managers. The mobile managers should be able to create their connectivity to the nodes they m...
161
click to vote
MOBICOM
2006
ACM
16 years 24 days ago
2006
ACM
In this paper we propose Road-aware Skip Copy (RSC) method for distributing replicas of location-dependent data on server-less vehicular ad hoc networks in urban areas. In the RSC...