• Conference Object  

      Adaptive probabilistic flooding for Information Hovering in VANETs 

      Xeros, Andreas; Lestas, Marios; Andreou, Maria I.; Pitsillides, Andreas (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 

      Saboori, A.; Hadjicostis, Christoforos N. (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 

      Xeros, Andreas; Lestas, Marios; Andreou, Maria I.; Pitsillides, Andreas; Ioannou, Petros A. (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 ...