1440 search results - page 240 / 288 » Mobility Model for Tactical Networks |
137
click to vote
WALCOM
2007
IEEE
15 years 3 months ago
2007
IEEE
Due to the recent growth in the demand of mobile communication services in several typical environments, the development of efficient systems for providing specialized services ha...
140
click to vote
MOBIQUITOUS
2008
IEEE
15 years 8 months ago
2008
IEEE
Mobile ad hoc networks can be leveraged to provide ubiquitous services capable of acquiring, processing, and sharing real-time information from the physical world. Unlike Internet...
123
click to vote
DSN
2002
IEEE
15 years 7 months 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...
108
click to vote
ESAW
2000
Springer
15 years 5 months ago
2000
Springer
While software is becoming decomposed in more and more finegrained entities, the interactions amongst those become of major importance. While methodologies for building such compon...
219
click to vote
TDSC
2011
14 years 9 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...