Browsing by Subject "Reachability"
Now showing items 1-6 of 6
-
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 ...
-
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 ...
-
Conference Object
Reachability analysis for a class of petri nets
(2009)In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly) monotone Petri net, an initial marking ...
-
Conference Object
Speed adaptive probabilistic flooding for vehicular ad-hoc networks
(2011)A significant issue in vehicular ad hoc networks is the design of an effective broadcast scheme which can facilitate the fast and reliable dissemination of emergency warning messages in the vicinity of an expected event, ...
-
Conference Object
Speed adaptive probabilistic flooding for vehicular ad-hoc networks123
(2011)A significant issue in vehicular ad hoc networks is the design of an effective broadcast scheme which can facilitate the fast and reliable dissemination of emergency warning messages in the vicinity of an expected event, ...
-
Conference Object
Speed adaptive probabilistic flooding for vehicular ad-hoc networksAAA
(2011)A significant issue in vehicular ad hoc networks is the design of an effective broadcast scheme which can facilitate the fast and reliable dissemination of emergency warning messages in the vicinity of an expected event, ...