89 search results - page 7 / 18 » EmStar: A Software Environment for Developing and Deploying ... |
FMICS
2010
Springer
13 years 8 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...
ADHOC
2011
2011
RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks
12 years 11 months ago
—Stringent cost and energy constraints impose the use of low-cost and low-power radio transceivers in large-scale wireless sensor networks (WSNs). This fact, together with the ha...
EWSN
2004
Springer
14 years 7 months ago
2004
Springer
Habitat monitoring is an important driving application for wireless sensor networks (WSNs). Although researchers anticipate some challenges arising in the real-world deployments of...
TCS
2008
13 years 7 months ago
2008
Phenomenal advances in nano-technology and packaging have made it possible to develop miniaturized low-power devices that integrate sensing, special-purpose computing, and wireles...
COMSWARE
2008
IEEE
14 years 2 months ago
2008
IEEE
—The ability to effectively communicate underwater has numerous applications, such as oceanographic data collection, pollution monitoring, disaster prevention, assisted navigatio...