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
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
A Novel Software System for .NET-based Enterprise Grid Computing. This ARC Linkage project, in partnership with Microsoft, aims to develop a novel Grid computing platform that enables organisations to effectively harness various IT resources and allocate them for different applications depending on their demands and priorities. The project outcomes will revolutionise the computing field by enhancing the productivity of software engineering for enterprise applications and accelerate their executi ....A Novel Software System for .NET-based Enterprise Grid Computing. This ARC Linkage project, in partnership with Microsoft, aims to develop a novel Grid computing platform that enables organisations to effectively harness various IT resources and allocate them for different applications depending on their demands and priorities. The project outcomes will revolutionise the computing field by enhancing the productivity of software engineering for enterprise applications and accelerate their execution on enterprise Grids.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
Socially Oriented Requirements Engineering - Software Engineering meets Ethnography. The project should lead to the design and development of better software/information and communications technologies in the homes of Australians, that encourage flexible social ineractions, and has been designed with the user in mind.
Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress ....Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress in a feasible time frame. In three dimensions this project will strengthen the distinguished computational topology community in Melbourne, led by pioneers such as Rubinstein, Goodman, Hodgson as well as the applicant himself.Read moreRead less
Simulating viral evolution and genetic complexity. This project has direct relevance to understanding the growth of viral infections, and therefore has possible practical applications in disease research and control. Examples of these are emerging diseases in humans such as those caused by HIV-1, SARS coronavirus and Dengue virus, which cause considerable human suffering throughout the world. A major part of current research into these diseases involves attempts to model the evolutionary geneti ....Simulating viral evolution and genetic complexity. This project has direct relevance to understanding the growth of viral infections, and therefore has possible practical applications in disease research and control. Examples of these are emerging diseases in humans such as those caused by HIV-1, SARS coronavirus and Dengue virus, which cause considerable human suffering throughout the world. A major part of current research into these diseases involves attempts to model the evolutionary genetics and dynamics of virus populations in order to understand how to control epidemics, develop vaccines and design drugs. The research program is designed to provide new computational modelling tools for this purpose, which may have wider applications as well.
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
A deep survey for compact structure in the nearby universe: key science for the upgraded Australian Long Baseline Array. This project uses advances in ICT to build a national and international network of facilities that includes existing telescopes primarily on the east coast of Australia, as well as planned facilities in Western Australia and New Zealand. One of these facilities, the New Technology Demonstrator, is a crucial part of Australia's roadmap to the Square Kilometre Array. The SKA-r ....A deep survey for compact structure in the nearby universe: key science for the upgraded Australian Long Baseline Array. This project uses advances in ICT to build a national and international network of facilities that includes existing telescopes primarily on the east coast of Australia, as well as planned facilities in Western Australia and New Zealand. One of these facilities, the New Technology Demonstrator, is a crucial part of Australia's roadmap to the Square Kilometre Array. The SKA-related science and technology demonstrations we will undertake as part of this project will contribute to Australia's bid to host this $US1b instrument. This project cements a significant Trans-Tasman collaboration and brings together researchers in astrophysics and ICT to give Australia a leading position in the field of eVLBI.Read moreRead less
Quantum correlations in ultra-cold Fermi gases. The field of ultra-cold Fermi gases provides a unique opportunity to develop and test theoretical methods for novel experimental environments of exceptional purity and simplicity. This improved understanding will have potential applications in many fields, ranging from the astrophysics of neutron stars to condensed matter systems such as superconductors or nanostructures. Just as importantly, the project will develop linkages with world leading the ....Quantum correlations in ultra-cold Fermi gases. The field of ultra-cold Fermi gases provides a unique opportunity to develop and test theoretical methods for novel experimental environments of exceptional purity and simplicity. This improved understanding will have potential applications in many fields, ranging from the astrophysics of neutron stars to condensed matter systems such as superconductors or nanostructures. Just as importantly, the project will develop linkages with world leading theoretical groups, which will greatly aid research student education. There are direct applications to experiments on molecule formation with ultra-cold fermions in the ARC Centre of Excellence for Quantum-Atom Optics.Read moreRead less