Linkage - International - Grant ID: LX0664977

Funding Activity

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

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

Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.

Funded Activity Details

Start Date: 01-01-2006

End Date: 31-12-2008

Funding Scheme: Linkage - International

Funding Amount: $10,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Stochastic Analysis And Modelling | Mathematical Logic And Formal Languages | Simulation And Modelling | Statistics |

ANZSRC Socio-Economic Objective (SEO)

Telecommunications | Technological and organisational innovation | Mathematical sciences

Other Keywords

Mathematical Logic And Formal Languages | Mathematical sciences | Simulation And Modelling | Statistics | Stochastic Analysis And Modelling | Technological and organisational innovation | Telecommunications

Related Links