359 search results - page 33 / 72 » Programming wireless sensor networks with logical neighborho... |
AMI
2009
Springer
15 years 1 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...
102
click to vote
MASS
2010
14 years 7 months ago
2010
In this paper we describe SpartanRPC, a secure middleware technology for wireless sensor network (WSN) applications supporting cooperation between distinct protection domains. The ...
MDM
2009
Springer
15 years 4 months ago
2009
Springer
— This work aims at minimize the cost of answering snapshot multi-predicate queries in high-communication-cost networks. High-communication-cost (HCC) networks is a family of net...
107
click to vote
FMOODS
2007
14 years 11 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
MOBIHOC
2008
ACM
15 years 9 months ago
2008
ACM
ization of domain-specific programming abstractions for wireless sensor actor networks can greatly ease application development. A high level of abstraction from underlying system...