CALLAS

Full Title

Calculi and Languages for Sensor Networks

Description

The main goals of the CALLAS research project are: to contribute towards a fundamental understanding of wireless sensor networks by developing formal tools based on process calculi; to provide adequate programming architectures for dynamically configurable sensor nodes; and to validate the proposed designs in real-life prototype sensor applications.

Funding Entity

FCT

Reference

PTDC/EIA/71462/2006

Start Date

01/01/2008

End Date

31/12/2010

Coordinator

FCUP

Partners

FCUP, FFCUL (LaSIGE), IT

Status

Closed