Browsing by Subject "Specific time"
Now showing items 1-3 of 3
-
Conference Object
Adaptive probabilistic flooding for Information Hovering in VANETs
(2010)Information Hovering applies in many applications in Vehicular Ad Hoc Networks, where useful information needs to be made available to all vehicles within a confined geographical area for a specific time interval. A ...
-
Article
Coverage analysis of mobile agent trajectory via state-based opacity formulations
(2011)This paper performs coverage analysis of mobile agent trajectory utilizing discrete event system models and employing state-based notions of opacity. Non-deterministic finite automata with partial observation on their ...
-
Conference Object
Information hovering in vehicular ad-hoc networks
(2009)Information Hovering is a relatively new concept of information dissemination over a mobile set of peers. It naturally applies in many applications in Vehicular Ad-Hoc Networks, where useful information needs to be made ...