22 articles for “Vehicular ad hoc networks”

Research ArticleOpen accessIn the abstractFORMAL VERIFICATION OF SAFETY MESSAGE DISSEMINATION PROTOCOL FOR VANETSM. A. Berlin, Sheila AnandThis paper presents a formal verification of a safety message dissemination protocol used in vehicular ad-hoc networks. It is proposed to use Road Side Units to broadcast road hazard information to vehicles travelling on highways. Quick dissemination of road hazard information, like road blocks, slippery roads and other obstacles can help to prevent road accidents and improve passenger safety. Formal … …Journal of Computer Science, Vol. 9, Issue 8 · 9 Jul 2013 · 6,860 accessesView PDF Cite

Research ArticleOpen accessIn the abstractPerformance Evaluation of Probabilistic Relay in Ad Hoc On-demand Distance Vector and Ad Hoc On-demand Multipath Distance Vector Under Highly Dynamic EnvironmentsRadityo Anggoro, Teruaki Kitasuka, Ryoji Nakamura, Masayoshi AritsugiVehicular Ad hoc Networks (VANETs) are a specific class of Mobile Ad hoc Networks (MANETs). Since vehicles tend to move in a high speed, the network topology is rapidly changed. Thus vehicle’s connectivity problem is one of the interesting issues in VANETs. Ad hoc On-demand Multipath Distance Vector (AOMDV) is an extended version of ad hoc on-demand distance vector (AODV). … …Journal of Computer Science, Vol. 9, Issue 7 · 22 Jun 2013 · 7,054 accessesView PDF Cite