Quality of Service-based Scheduling of e-Research Application Workflows on Global Grids. e-Research has the potential to offer Australia significant economic and social benefits as it enables researchers from different disciplines and organisations to engage in collaborative scientific investigation. In e-Research environments, users need to have secure access to remote resources owned by different organisations. Since these resources are not directly under the control of e-Research applications ....Quality of Service-based Scheduling of e-Research Application Workflows on Global Grids. e-Research has the potential to offer Australia significant economic and social benefits as it enables researchers from different disciplines and organisations to engage in collaborative scientific investigation. In e-Research environments, users need to have secure access to remote resources owned by different organisations. Since these resources are not directly under the control of e-Research applications, they need to negotiate with resource providers for access time, duration, and the level of quality of service expected to make sure that the interlinked operations are performed as required. This project develops information and communications technologies that enable the creation of such e-Research environments.Read moreRead less
Designing for Reliability and Maintainability in Service-Oriented Architectures. This project aims to build expertise in the design of computer software, especially enterprise systems in domains such as finance and logistics that are vast in scale and highly complex and geographically separated. By fostering and formalising techniques for improving developer productivity and the reliability and maintainability of enterprise systems, Australia can secure a place as a world leader in software meth ....Designing for Reliability and Maintainability in Service-Oriented Architectures. This project aims to build expertise in the design of computer software, especially enterprise systems in domains such as finance and logistics that are vast in scale and highly complex and geographically separated. By fostering and formalising techniques for improving developer productivity and the reliability and maintainability of enterprise systems, Australia can secure a place as a world leader in software methodology, with an emphasis on technology production rather than consumption. Australian computer consulting services are a $19.5b industry, whilst the wider services sector, which is increasingly reliant on automation to stay competitive, accounts for 70% of Australia's GNP.Read moreRead less
Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop form ....Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop formally
based interoperability between the PVS and Maude systems, two widely
used computer tools for reasoning about complex systems.Read moreRead less
Topological Approaches for Three Dimensional Graph Drawing. Human analysis of huge quantities of relational data in biotechnology, web engineering, social networks, and computer networks requires visualization. In recent years, three-dimensional visualisation has promised to give new insights into such abstract data. However the past ten years of visualization research has had very little impact on the industry; visualization software providers have not adopted visualization methods developed b ....Topological Approaches for Three Dimensional Graph Drawing. Human analysis of huge quantities of relational data in biotechnology, web engineering, social networks, and computer networks requires visualization. In recent years, three-dimensional visualisation has promised to give new insights into such abstract data. However the past ten years of visualization research has had very little impact on the industry; visualization software providers have not adopted visualization methods developed by academics. We hypothesise that current 3D relational visualization methods fail because they do not pay attention to the human perception of topology. In this project we will leverage mathematical topology to construct new methods for the 3D visualization of relational data.
Read moreRead less
WAVELET-BASED MODELLING AND MODEL PREDICTIVE CONTROL OF COMPLEX MULTIDIMENSIONAL CRYSTALLISATION PROCESSES. The results of this project will directly contribute to a better understanding of crystallisation which is an important unit operation to achieve high purity separations. Many Australian industries for example, mineral processing, sugar processing, pharmaceuticals, etc will benefit from the results in order to enhance optimal operation and control to ensure globally competitive production ....WAVELET-BASED MODELLING AND MODEL PREDICTIVE CONTROL OF COMPLEX MULTIDIMENSIONAL CRYSTALLISATION PROCESSES. The results of this project will directly contribute to a better understanding of crystallisation which is an important unit operation to achieve high purity separations. Many Australian industries for example, mineral processing, sugar processing, pharmaceuticals, etc will benefit from the results in order to enhance optimal operation and control to ensure globally competitive production which is on time, minimize wastes and raw materials and inventories. The leading edge results will increase the contributions of these industries to the Australian economy and our global competitiveness necessary to maintain our culture and the beauty of our environment. Read moreRead less
A Platform for Rapid and Flexible Development of Context-Aware Web Services. Context awareness is one of the most exciting trends in computing today, and it holds the potential to make our daily life more productive, convenient and enjoyable. The proposed project will produce a comprehensive platform for developing context-aware Web services, which will facilitate ready implementation of many innovative applications and make important contributions to Australian society and the national economy. ....A Platform for Rapid and Flexible Development of Context-Aware Web Services. Context awareness is one of the most exciting trends in computing today, and it holds the potential to make our daily life more productive, convenient and enjoyable. The proposed project will produce a comprehensive platform for developing context-aware Web services, which will facilitate ready implementation of many innovative applications and make important contributions to Australian society and the national economy. One such application is an intelligent seniors assistance service that will improve quality of life for senior citizens while helping them maintain an independent lifestyle. This project will also place Australia at the forefront of Web service development.Read moreRead less
Managing conflicts in requirements engineering with argumentation frameworks. This project proposes to employ argumentation theory and frameworks to tackle the problem of conflict management and resolution in requirements engineering. Australia has a strong competitive advantage in the areas of belief change and conflict management. The outcomes of this project will provide an improved infrastructure for several areas of software engineering, including requirements engineering and software evol ....Managing conflicts in requirements engineering with argumentation frameworks. This project proposes to employ argumentation theory and frameworks to tackle the problem of conflict management and resolution in requirements engineering. Australia has a strong competitive advantage in the areas of belief change and conflict management. The outcomes of this project will provide an improved infrastructure for several areas of software engineering, including requirements engineering and software evolution management. More broadly, the work proposed here will enable the IT industry to adopt and utilise the techniques developed in a number of research fields of Artificial Intelligence in developing the robust and reliable software systems for the rapidly changing knowledge economy of the 21st century.Read moreRead less
Special Research Initiatives - Grant ID: SR0567393
Funder
Australian Research Council
Funding Amount
$100,000.00
Summary
Infrastructure for large-scale data resource sharing between research institutions – an environmental case study. The project creates a federated distributed data infrastructure for research, that encourages data creators to make their data available to other scientists, and encourages users to make use of data available from many sources. The vision is to establish an ICT infrastructure to facilitate a whole-of-environment approach to environmental research. The outcome is a proof-of-concept ....Infrastructure for large-scale data resource sharing between research institutions – an environmental case study. The project creates a federated distributed data infrastructure for research, that encourages data creators to make their data available to other scientists, and encourages users to make use of data available from many sources. The vision is to establish an ICT infrastructure to facilitate a whole-of-environment approach to environmental research. The outcome is a proof-of-concept application based upon a case study of Queensland Environmental Protection Agency’s databases, to gain an in-depth understanding of the complexity, scope and key technological barriers for establishing an ICT infrastructure, to identify where the latest technologies can be used and where the gaps are for these technologies to be used in environmental sciences.Read moreRead less
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, an ....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.Read moreRead less
Development and implementation of efficient new models for electron correlation. The two new approaches will allow researchers in the chemical, pharmaceutical and materials sciences to predict the physical and chemical behaviour of moderately large molecular systems with an accuracy and efficiency that has not previously been possible. The software that will result will enable cost and time savings in the design of advanced materials in the medical and agricultural contexts.