Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost ....Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost savings, highly beneficial to
the ICT industry. Lessons learned from the demonstration prototype,
can be directly carried over into commercial tool development. In
addition, the project strengthens links to high quality European
research laboratories.Read moreRead less
Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savin ....Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savings, highly beneficial to any industry with a significant ICT component, e.g., defense. Lessons learned from the demonstration prototype, can be directly carried over into commercial tool development. The project strengthens links to high quality European research laboratories.Read moreRead less
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. ....Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE180100950
Funder
Australian Research Council
Funding Amount
$368,446.00
Summary
Building intelligence into online video services by learning user interests. This project aims to build an intelligent video streaming service by characterising users’ view interest patterns and predict user interest changes through learning data from Internet to address the challenge caused by astronomic video population. The outcomes of the project will be of great values for users and our society by intelligently filtering out valueless, harmful, illegal and unwanted videos in advance.
Special Research Initiatives - Grant ID: SR0354693
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Australian e-Research Grid. The e-Research Grid program will research and implement core Grid technologies on APAC and partner's deployed HPC resources, to underpin a broad range of Australian research. The computer science CIs will form collaborative links with international programs, adapting developments to local circumstances. The applications-domain CIs will leverage those into their scientific simulations and databases, using grid integrative techniques and portals. Many CIs participate in ....Australian e-Research Grid. The e-Research Grid program will research and implement core Grid technologies on APAC and partner's deployed HPC resources, to underpin a broad range of Australian research. The computer science CIs will form collaborative links with international programs, adapting developments to local circumstances. The applications-domain CIs will leverage those into their scientific simulations and databases, using grid integrative techniques and portals. Many CIs participate in other RNs linking to their motivating applications, enhancing prospects for research and integration. They participate in the APAC Grid program, leveraging 75 HPC staff nationally. A key aim is interoperability with "real-world Grids": eg e-learning & e-health programs.Read moreRead less
The impact of strategic alignment on IT outsourcing success in a complex service setting. Improved conceptual and methodological understanding of strategic alignment is essential for better IT outsourcing decisions. This research will improve the performance of Australian industry by investigating how strategically well aligned ITO investments can lead to improved performance and greater competitive advantage.
Normalizing XML Documents. Our work will be of great benefit, both to the research community and to the ICT industry. The project addresses one of the most important problems in XML usage and we expect our results to be published in important international forums, as has our preliminary research on the topic. This will significantly improve Australia's reputation in research in the ICT area. In the longer term, we intend to build commercial software tools based on the results of our research ....Normalizing XML Documents. Our work will be of great benefit, both to the research community and to the ICT industry. The project addresses one of the most important problems in XML usage and we expect our results to be published in important international forums, as has our preliminary research on the topic. This will significantly improve Australia's reputation in research in the ICT area. In the longer term, we intend to build commercial software tools based on the results of our research and this will be of direct benefit to the Australian economy and the Australian ICT industry.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
ARC Research Network in Enterprise Information Infrastructure. EII targets consolidated research towards the comprehensive development & establishment of advanced information infrastructures. Its prime purpose is to provide a forum for intellectual exchange by diverse yet complementary research groups, to address the fundamental research problems faced by scientific & business communities when dealing with deployment of information technology to globally distributed, and data intensive environme ....ARC Research Network in Enterprise Information Infrastructure. EII targets consolidated research towards the comprehensive development & establishment of advanced information infrastructures. Its prime purpose is to provide a forum for intellectual exchange by diverse yet complementary research groups, to address the fundamental research problems faced by scientific & business communities when dealing with deployment of information technology to globally distributed, and data intensive environments. EII will address 3 tightly coupled research themes: Ability to interoperate across existing heterogenous platforms & applications; Efficient processing of very large data sets; Technology adoption & impact. Generic results will be applicable to e-science and large business information systems installations.Read moreRead less
Towards Scalable, Internet-Based RFID Traceability Networks. Food and drug safety is a major public health issue in Australia. Recent events involving poisoning of chocolate bars and paracetamol tablets in Australia have demonstrated the urgent need for improved ways of locating and recalling commercial products that have been released into the community. This project will develop novel techniques for locating items in large-scale distribution networks driven by RFID (Radio Frequency Identificat ....Towards Scalable, Internet-Based RFID Traceability Networks. Food and drug safety is a major public health issue in Australia. Recent events involving poisoning of chocolate bars and paracetamol tablets in Australia have demonstrated the urgent need for improved ways of locating and recalling commercial products that have been released into the community. This project will develop novel techniques for locating items in large-scale distribution networks driven by RFID (Radio Frequency Identification) technology. The outcomes of the project will make it easier to rapidly and accurately pinpoint product locations in the event of problems such as an illness outbreak due to contaminated food or counterfeited drugs. Read moreRead less