Maté: a tiny virtual machine for sensor networks
Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Efficient code distribution in wireless sensor networks
WSNA '03 Proceedings of the 2nd ACM international conference on Wireless sensor networks and applications
The dynamic behavior of a data dissemination protocol for network programming at scale
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
A Framework for Resource Allocation in Grid Computing
MASCOTS '04 Proceedings of the The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Region streams: functional macroprogramming for sensor networks
DMSN '04 Proceeedings of the 1st international workshop on Data management for sensor networks: in conjunction with VLDB 2004
TinyDB: an acquisitional query processing system for sensor networks
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
Sensor network programming with Flask
Proceedings of the 5th international conference on Embedded networked sensor systems
Programming wireless sensor networks with logical neighborhoods: a road tunnel use case
Proceedings of the 5th international conference on Embedded networked sensor systems
An experiment with reflective middleware to support grid-based flood monitoring
Concurrency and Computation: Practice & Experience - UK e-Science All Hands Meeting 2006
An In-Field-Maintenance Framework for Wireless Sensor Networks
DCOSS '08 Proceedings of the 4th IEEE international conference on Distributed Computing in Sensor Systems
Resource aware programming in the Pixie OS
Proceedings of the 6th ACM conference on Embedded network sensor systems
A self-adaptive context processing framework for wireless sensor networks
Proceedings of the 3rd international workshop on Middleware for sensor networks
Darjeeling, a Java compatible virtual machine for microcontrollers
Proceedings of the ACM/IFIP/USENIX Middleware '08 Conference Companion
TOSThreads: thread-safe and non-invasive preemption in TinyOS
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
sMAP: a simple measurement and actuation profile for physical information
Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems
Stateful mobile modules for sensor networks
DCOSS'10 Proceedings of the 6th IEEE international conference on Distributed Computing in Sensor Systems
In-network aggregation techniques for wireless sensor networks: a survey
IEEE Wireless Communications
| Hi-index | 0.00 |
Early Wireless Sensor Networks aimed simply to collect as much data as possible for as long as possible. While this remains true in selected cases, the majority of future sensor network applications will demand much more intelligent use of their resources as networks increase in scale and support multiple applications and users. Specifically, we argue that a computational model is needed in which the ways that data flows through networks, and the ways in which decisions are made based on that data, is transparently distributable and relocatable as requirements evolve. In this paper we present an approach to achieving this using high-level mission specifications from which we can automatically derive transparently distributable programs.