288 search results - page 19 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
ASMTA
2008
Springer
13 years 12 months ago
2008
Springer
Ad hoc network routing protocols may fail to operate in the absence of an end-to-end connection from source to destination. This deficiency can be resolved by so-called delay-toler...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract-- Vehicle-to-vehicle communications can be used effectively for intelligent transport systems (ITS) and locationaware services [1]. The ability to disseminate information ...
ISCIS
2005
Springer
14 years 3 months ago
2005
Springer
Ad hoc networks, being able to organize themselves without user intervention, can easily provide their users with mobility, multimedia support and group communication. However, the...
MOBIQUITOUS
2005
IEEE
14 years 3 months ago
2005
IEEE
The publish/subscribe model of communication provides sender/receiver decoupling and selective information dissemination that is appropriate for mobile environments characterized ...
BROADNETS
2007
IEEE
14 years 4 months ago
2007
IEEE
—Packet based wireless networks have provided high data rates, and the desire for ubiquitous wireless computing is growing rapidly. To accommodate these demands, wireless systems...