Computer Science – Distributed – Parallel – and Cluster Computing
Scientific paper
2006-12-19
Computer Science
Distributed, Parallel, and Cluster Computing
24 pages, 1 figure, submitted for publication
Scientific paper
We consider the problem of providing a rigorous model for programming wireless sensor networks. Assuming that collisions, packet losses, and errors are dealt with at the lower layers of the protocol stack, we propose a Calculus for Sensor Networks (CSN) that captures the main abstractions for programming applications for this class of devices. Besides providing the syntax and semantics for the calculus, we show its expressiveness by providing implementations for several examples of typical operations on sensor networks. Also included is a detailed discussion of possible extensions to CSN that enable the modeling of other important features of these networks such as sensor state, sampling strategies, and network security.
Barros João
Lopes L. L.
Martins Francisco
Silva Miguel S.
No associations
LandOfFree
A Calculus for Sensor Networks does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Calculus for Sensor Networks, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Calculus for Sensor Networks will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-315106