1278 search results - page 71 / 256 » Programming Sensor Networks Using Abstract Regions |
146
click to vote
TMC
2010
15 years 25 days ago
2010
—This paper presents SYNAPSE++, a system for over the air reprogramming of wireless sensor networks (WSNs). In contrast to previous solutions, which implement plain negative ackn...
137
Voted
ALGOSENSORS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Motivated by the need for agent classification in sensor networking and autonomous vehicle control applications, we propose a flexible and distributed stochastic automato...
115
click to vote
NOMS
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper addresses the problem of managing a wireless sensor network with mobile managers. The mobile managers should be able to create their connectivity to the nodes they m...
126
click to vote
VSTTE
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
127
click to vote
PCI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The advances in wireless communications along with the exponential growth of transistors per integrated circuit lead to a rapid evolution of Wireless Sensor Devices (WSDs...