1278 search results - page 31 / 256 » Programming Sensor Networks Using Abstract Regions |
AMI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
139
click to vote
IEEECIT
2010
IEEE
15 years 18 days ago
2010
IEEE
Abstract—In Wireless Sensor Networks (WSNs), authentication is a crucial security requirement to avoid attacks against secure communication, and to mitigate DoS attacks exploitin...
109
click to vote
ICC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—We consider non-asymmetric distributed source coding (DSC) that achieves any point in the Slepian-Wolf (SW) region. We study the error propagation phenomena and propose ...
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The sensor reports from a wireless sensor network are often used extensively in the decision making process in many systems and applications. Hence, classifying real and ...
147
click to vote
CSREAPSC
2006
15 years 3 months ago
2006
- MIT Technology Review lists sensor networks as one of "Ten Emerging Technologies That Will Change the World" [1]. This paper describes three lab exercises that are suit...