White Papers

A Formal Model for Programming Wireless Sensor Networks

Overview This paper proposes a programming model with stronger formal support and analytical capabilities than the above mentioned solutions. Their approach is to model ad-hoc sensor networks with process calculi given the inherent distributed and concurrent nature of sensor network applications. The theory developed for process calculi is very rich and expressive, providing tools with which sensor network applications and protocols can be proven correct with respect to a given specification. The theory also provides the means to thoroughly quantify the resource usage by sensors when running applications and when using specific protocols. Some work exists on modeling wireless systems with process calculi but it focuses on the protocol layer of the networks and does not address the peculiarities of programming ad-hoc sensor networks.

Download White Paper

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher
Universidade do Porto
File Format
PDF
Date Published
Apr 23, 2009
Format
White Papers
Topics
Wireless, Monitoring Systems, Mobile - Wireless Communications

Similiar White Papers

Toumaz Drives Digital Medicine Revolution With Intelligent, Low-Cost, Patient-Centric Body Monitoring

Toumaz Drives Digital Medicine Revolution With Intelligent, Low-Cost, Patient-Centric Body Monitoring

Toumaz wanted to develop zero-administration wireless device for intelligent, non-intrusive body monitoring that helps p

Publisher: Oracle  |  Tags: applications, data, digital, software

Multi-User Broadcast Authentication in Wireless Sensor Networks

Multi-User Broadcast Authentication in Wireless Sensor Networks

Broadcast authentication is a critical security service in Wireless Sensor Networks (WSNs), as it allows the mobile user

Publisher: Worcester Polytechnic Institute  |  Tags: authentication

A Cross-Layer Strategy for Energy-Efficient Reliable Delivery in Wireless Sensor Networks

A Cross-Layer Strategy for Energy-Efficient Reliable Delivery in Wireless Sensor Networks

This paper investigates the problem of the lifetime maximization in wireless sensor networks under the constraint of end

Publisher: Institute of Electrical and Electronics Engineers  |  Tags: network

Improving Availability of Secure Wireless Sensor Networks

Improving Availability of Secure Wireless Sensor Networks

As wireless sensor networks continue to grow, so does the need for effective security mechanisms. But one of the main ch

Publisher: Iran University of Science & Technology  |  Tags: base station, network

Honeycomb Architecture for Energy Conservation in Wireless Sensor Networks

Honeycomb Architecture for Energy Conservation in Wireless Sensor Networks

Reducing energy consumption has been a recent focus of wireless sensor network research. Topology control explores the p

Publisher: Institute of Electrical and Electronics Engineers  |  Tags: data, network

Universidade do Porto White Papers

Using Transformations to Integrate Task Models in the UML

Using Transformations to Integrate Task Models in the UML

Task modeling is a central and familiar concept in Human-Computer Interaction (HCI) but seldom-used in Object-Oriented S

Publisher: Universidade do Porto  |  Tags: object-oriented, software, software engineering