430 search results - page 83 / 86 » Modeling mobility for vehicular ad-hoc networks |
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Mobile wireless network research focuses on scenarios at the extremes of the network connectivity continuum where the probability of all nodes being connected is either ...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—We propose and investigate a deterministic traveling wave model for the progress of epidemic routing in disconnected mobile ad hoc networks. In epidemic routing, broadcast or un...
SUTC
2008
IEEE
14 years 2 months ago
2008
IEEE
A piece of Hovering Information is a geo-localized information residing in a highly dynamic environment such as a mobile ad hoc network. This information is attached to a geograph...
DSN
2002
IEEE
14 years 18 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
TDSC
2011
13 years 2 months ago
2011
—In this paper, we study leader election in the presence of selfish nodes for intrusion detection in mobile ad hoc networks (MANETs). To balance the resource consumption among a...