Quality of Service in 3G Wireless Systems with Hybrid Networks. The increasing demand of providing Internet-based services over the mobile handsets has led to the transition from circuit-based 2G systems to packet-based network architectures in the emerging 3G systems. A major technical challenge for this paradigm shift is maintaining quality of services (QoS) for the existing data and voice and future Internet services such as streaming multimedia over such packet switching networks. This proje ....Quality of Service in 3G Wireless Systems with Hybrid Networks. The increasing demand of providing Internet-based services over the mobile handsets has led to the transition from circuit-based 2G systems to packet-based network architectures in the emerging 3G systems. A major technical challenge for this paradigm shift is maintaining quality of services (QoS) for the existing data and voice and future Internet services such as streaming multimedia over such packet switching networks. This project aims to investigate end-to-end QoS solutions in the 3G systems. Australian mobile Internet and voice carriers will significantly benefit from this technology.Read moreRead less
Application Frameworks for Collaborative Learning. We will pioneer the use of key software engineering techniques - design patterns and application frameworks - to reduce the cost and improve the quality of online collaborative learning activities. For the first time, we will combine software engineering and educational knowledge to use design patterns to describe best practice for these activities in engineering terms; we will use application frameworks to aggregate these patterns and implement ....Application Frameworks for Collaborative Learning. We will pioneer the use of key software engineering techniques - design patterns and application frameworks - to reduce the cost and improve the quality of online collaborative learning activities. For the first time, we will combine software engineering and educational knowledge to use design patterns to describe best practice for these activities in engineering terms; we will use application frameworks to aggregate these patterns and implement them as a readily usable tool. The result will be a powerful new generation of stable collaborative eLearning tools with enhanced scalability, interoperability and adaptability.Read moreRead less
RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving d ....RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving deduction, induction, and nonmonotonic reasoning. We intend the system to become a standard tool for tackling a broad range of applications, and the underlying theory to provide new insights on the logical foundations of Artificial Intelligence.
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
Development and evaluation of computer assisted survey technology as an adjunct to the professional consultation. The project aims to test the effectiveness of computer technology as an adjunct to the client-provider interaction in General Medical Practice. An innovative system for generating dietary assessment and advice will be developed, supporting both local software and multi media industries and providing data on population based interventions for prevalent lifestyle disease (obesity, diab ....Development and evaluation of computer assisted survey technology as an adjunct to the professional consultation. The project aims to test the effectiveness of computer technology as an adjunct to the client-provider interaction in General Medical Practice. An innovative system for generating dietary assessment and advice will be developed, supporting both local software and multi media industries and providing data on population based interventions for prevalent lifestyle disease (obesity, diabetes). The study involves developing the technology, evaluating its use in practice and researching the opinions of key stakeholders (consumers, GPs dietitians) on the position of this technology in the client-provider interaction.Read moreRead less