296 search results - page 1 / 60 » CaVi -- Simulation and Model Checking for Wireless Sensor Ne... |
QEST
2008
IEEE
13 years 11 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
SENSYS
2009
ACM
13 years 11 months ago
2009
ACM
WSC
2001
13 years 6 months ago
2001
Recent advances in low-power embedded processors, radios, and micro-mechanical systems (MEMs) have made possible the development of networks of wirelessly interconnected sensors. ...
PEWASUN
2007
ACM
13 years 6 months ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
KIVS
2011
Springer
12 years 7 months ago
2011
Springer
Localized geographic single path routing along a wireless network graph requires exact location information about the network nodes to assure message delivery guarantees. Node loc...