2138 search results - page 296 / 428 » Emergency Evacuation using Wireless Sensor Networks |
167
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
132
click to vote
SENSYS
2004
ACM
15 years 10 months ago
2004
ACM
As distributed surveillance networks are deployed over larger areas and in increasingly busy environments, limiting the computation, bandwidth, and human attention burdens imposed...
139
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Underwater communication is a challenging topic due to its singular channel characteristics. Most protocols used in terrestrial wireless communication can not be directly applied i...
164
click to vote
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
One key usage of VANET is to support vehicle safety applications. This use case is characterized by the prominence of broadcasts in scaled settings. In this context, we try to ans...
175
click to vote
ESAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...