Next century challenges: scalable coordination in sensor networks
MobiCom '99 Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking
System architecture directions for networked sensors
ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
Wireless sensor networks for habitat monitoring
WSNA '02 Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications
Directed diffusion for wireless sensor networking
IEEE/ACM Transactions on Networking (TON)
The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Proceedings of the 9th annual international conference on Mobile computing and networking
TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
Hood: a neighborhood abstraction for sensor networks
Proceedings of the 2nd international conference on Mobile systems, applications, and services
TinyLIME: Bridging Mobile and Sensor Networks through Middleware
PERCOM '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications
TinyDB: an acquisitional query processing system for sensor networks
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
Programming ad-hoc networks of mobile and resource-constrained devices
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Algorithms for generic role assignment in wireless sensor networks
Proceedings of the 3rd international conference on Embedded networked sensor systems
Programming wireless sensor networks with logical neighborhoods
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
Programming sensor networks using abstract regions
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
Using logical neighborhoods to enable scoping in wireless sensor networks
Proceedings of the 3rd international Middleware doctoral symposium
Building virtual sensors and actuators over logical neighborhoods
Proceedings of the international workshop on Middleware for sensor networks
Programming wireless sensor networks with logical neighborhoods: a road tunnel use case
Proceedings of the 5th international conference on Embedded networked sensor systems
Programming models for sensor networks: A survey
ACM Transactions on Sensor Networks (TOSN)
Life cycle support for sensor network applications
Proceedings of the 2nd international workshop on Middleware for sensor networks
Supporting situation-aware services with virtual macro sensors
Proceedings of the 2007 Workshop on INnovative SERvice Technologies
Knowledge networks for pervasive services
Proceedings of the 2009 international conference on Pervasive services
Versatile support for efficient neighborhood data sharing
EWSN'07 Proceedings of the 4th European conference on Wireless sensor networks
A compilation framework for macroprogramming networked sensors
DCOSS'07 Proceedings of the 3rd IEEE international conference on Distributed computing in sensor systems
Handling dynamics in diffusive aggregation schemes: An evaporative approach
Future Generation Computer Systems
FiGaRo: fine-grained software reconfiguration for wireless sensor networks
EWSN'08 Proceedings of the 5th European conference on Wireless sensor networks
Bundle: a group based programming abstraction for cyber physical systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Programming wireless sensor networks: Fundamental concepts and state of the art
ACM Computing Surveys (CSUR)
The announcement layer: beacon coordination for the sensornet stack
EWSN'11 Proceedings of the 8th European conference on Wireless sensor networks
Towards declarative query scoping in sensor networks
From active data management to event-based systems and more
sMapReduce: a programming pattern for wireless sensor networks
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
LARK: A Lightweight Authenticated ReKeying Scheme for Clustered Wireless Sensor Networks
ACM Transactions on Embedded Computing Systems (TECS)
Selective reprogramming of mobile sensor networks through social community detection
EWSN'10 Proceedings of the 7th European conference on Wireless Sensor Networks
Self-organizing virtual macro sensors
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
Towards business processes orchestrating the physical enterprise with wireless sensor networks
Proceedings of the 34th International Conference on Software Engineering
A goal-oriented programming framework for grid sensor networks with reconfigurable embedded nodes
ACM Transactions on Embedded Computing Systems (TECS)
CrimeSPOT: A language and runtime for developing active wireless sensor network applications
Science of Computer Programming
Hi-index | 0.00 |
Wireless sensor networks (WSNs) typically exploit a single base station for collecting data and coordinating activities. However, decentralized architectures are rapidly emerging, as witnessed by wireless sensor and actuator networks (WSANs), and in general by solutions involving multiple data sinks, heterogeneous nodes, and in-network coordination. These settings demand new programming abstractions to tame complexity without sacrificing efficiency. In this work we introduce the notion of logical neighborhood, which replaces the physical neighborhood provided by wireless broadcast with a higher-level, application-defined notion of proximity. The span of a logical neighborhood is specified declaratively based on the characteristics of nodes, along with requirements about communication costs. This paper presents the Spidey programming language for defining logical neighborhoods, and a routing strategy that efficiently supports the communication enabled by its programming constructs.