Discovery Projects - Grant ID: DP0450092

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP0450092

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, and defense. This project will develop a novel model and language for analyzing and programming device ecologies. This will be an Australian contribution towards techniques for constructing advanced applications that work over the computing infrastructure of the future.

Funded Activity Details

Start Date: 01-02-2004

End Date: 31-12-2009

Funding Scheme: Discovery Projects

Funding Amount: $150,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Programming Languages | Mathematical Logic And Formal Languages | Software Engineering | Computer Software

ANZSRC Socio-Economic Objective (SEO)

Application tools and system utilities | Application packages | Computer software and services not elsewhere classified |

Other Keywords

Application packages | Application tools and system utilities | Computer Software | Computer software and services not elsewhere classified | Mathematical Logic And Formal Languages | Programming Languages | Software Engineering

Related Links