288 search results - page 51 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
ESORICS
2010
Springer
13 years 8 months ago
2010
Springer
Safety critical applications for recently proposed vehicle to vehicle ad-hoc networks (VANETs) rely on a beacon signal, which poses a threat to privacy since it could allow a vehic...
APSCC
2008
IEEE
14 years 2 months ago
2008
IEEE
—Vehicular ad hoc network protocol with hybrid relay architecture is proposed for improving the success ratio. Access gateway estimation and a probability table based on the rout...
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
In a distributed sensor network, large number of sensors deployed which communicate among themselves to selforganize a wireless ad hoc network. We propose an energyefficient level...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
—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...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—Inter-contact time between moving vehicles is one of the key metrics in vehicular ad hoc networks (VANETs) and central to forwarding algorithms and the end-to-end delay. Due to ...