14 search results - page 3 / 3 » Stochastic Modeling of Single-Hop Cluster Stability in Vehic... |
MOBIHOC
2005
ACM
14 years 4 months ago
2005
ACM
This paper proposes a new principle for designing MAC protocols for spread spectrum based ad hoc networks ? inducing spatial clustering in contending transmitters/receivers. We fi...
MOBICOM
2004
ACM
13 years 10 months ago
2004
ACM
One key usage of VANET is to support vehicle safety applications. This use case is characterized by the prominence of broadcasts in scaled settings. In this context, we try to ans...
MOBICOM
2004
ACM
13 years 10 months ago
2004
ACM
Interactive communications among nodes in Vehicular Ad Hoc Networks (VANET) and the safety-oriented nature of many VANET applications necessitate a robust security framework. An a...
DSN
2002
IEEE
13 years 9 months 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...