1809 search results - page 179 / 362 » Macro-programming Wireless Sensor Networks Using Kairos |
140
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Key pre-distribution in wireless sensor network is aimed at delivering keys to sensor networks at the low expense of computation, communication, and memory while providing a high d...
132
click to vote
PERVASIVE
2007
Springer
15 years 10 months ago
2007
Springer
We propose a method through which dynamic sensor nodes determine that they move together, by communicating and correlating their movement information. We describe two possible solu...
133
click to vote
COMSWARE
2008
IEEE
15 years 10 months ago
2008
IEEE
—With a widespread increase in the number of mobile wireless systems and applications, the need for location aware services has risen at a very high pace in the last few years. M...
134
click to vote
SASN
2006
ACM
15 years 9 months ago
2006
ACM
Wireless sensor networks are typically deployed to measure the information field, rather than create an information field. However, by utilizing the radio on sensor nodes, it is...
163
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...