1278 search results - page 134 / 256 » Programming Sensor Networks Using Abstract Regions |
244
click to vote
RTAS
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Home area networks (HANs) promise to enable sophisticated home automation applications such as smart energy usage and assisted living. However, recent empirical study of...
119
Voted
HYBRID
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
150
click to vote
MOBIHOC
2005
ACM
16 years 2 months ago
2005
ACM
Node compromise poses severe security threats in wireless sensor networks. Unfortunately, existing security designs can address only a small, fixed threshold number of compromised...
131
Voted
SENSYS
2009
ACM
15 years 9 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
106
click to vote
IWCMC
2010
ACM
15 years 7 months ago
2010
ACM
Cooperative forwarding has been considered as an effective strategy for improving the geographic routing performance in wireless sensor networks (WSNs). However, we observe that ...