288 search results - page 16 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
JSAC
2011
12 years 10 months ago
2011
—Several contention-based Medium Access Control (MAC) protocols have been proposed for the vehicles to gain the radio channels to distribute active safety messages timely, e.g., ...
ENGL
2006
13 years 7 months ago
2006
Service discovery is an important and necessary component of ad hoc networks. To fit within the context of such networks, a post-query model with several service discovery strateg...
MOBIHOC
2006
ACM
14 years 7 months ago
2006
ACM
Vehicular ad hoc networks (VANETs) using WLAN technology have recently received considerable attention. The evaluation of VANET routing protocols often involves simulators since m...
VTC
2007
IEEE
14 years 1 months ago
2007
IEEE
—Coupling Vehicular Ad Hoc Networks (VANETs) with wired networks such as the Internet via access points creates a difficult mix of highly mobile nodes and a static infrastructur...
IFIP
2004
Springer
14 years 28 days ago
2004
Springer
Wireless network research still lacks methods to integratively evaluate the performance that can be expected from application layer protocols. The user behavior is predominantly a...