Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project ....Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.Read moreRead less
Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and ....Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and more efficient than previous work. Here we wish to extend this family to operate effectively in a specific architecture increasingly favoured by many modern distributed high-performance computing systems.Read moreRead less
Managing Knowledge in Web-Driven Organisational Evolution. Organisations are increasingly concerned with the effective utilisation of Web technologies, and especially the ways in which these technologies can be used to improve their business. Effective management of knowledge about the interplay between the organisation and technical drivers of this technology adoption will enable a much-enhanced process for leveraging emerging information and communication technologies. This project aims to li ....Managing Knowledge in Web-Driven Organisational Evolution. Organisations are increasingly concerned with the effective utilisation of Web technologies, and especially the ways in which these technologies can be used to improve their business. Effective management of knowledge about the interplay between the organisation and technical drivers of this technology adoption will enable a much-enhanced process for leveraging emerging information and communication technologies. This project aims to link related research at UTS and Southampton University to understand how tools might support this knowledge management. Outcomes will include the creation of specific tools (and techniques for using them) within the context of managing organisational uptake of new technologies.Read moreRead less
Conceptual Knowledge Processing. The aim of this collaboration between Computer Science and Mathematics disciplines is to develop a theoretical, methodological and practical understanding of how to support a range of tasks concerning conceptual knowledge processing. The view of the project is that knowledge processing takes place primarily in the human mind and that human communication can only be effectively supported by appropriate design means and devices. Developing prototype software that d ....Conceptual Knowledge Processing. The aim of this collaboration between Computer Science and Mathematics disciplines is to develop a theoretical, methodological and practical understanding of how to support a range of tasks concerning conceptual knowledge processing. The view of the project is that knowledge processing takes place primarily in the human mind and that human communication can only be effectively supported by appropriate design means and devices. Developing prototype software that demonstrates these devices in practical domains continues to be a key feature of the collaboration that benefits from existing DFG (Deutsche Forschungsgemeinschaft) support and has been on going since 1999.Read moreRead less
User-Driven Composition of Web Services. Web service composition technology promises to revolutionise the way in which organisations interact over the Web. However existing environments for the composition of Web services are too complex to use and are usually intended for experienced application developers as they rely either on scripting languages, or on a process-modelling notations intended to be used by IT experts. However, the need for customised composition of Web services is likely to em ....User-Driven Composition of Web Services. Web service composition technology promises to revolutionise the way in which organisations interact over the Web. However existing environments for the composition of Web services are too complex to use and are usually intended for experienced application developers as they rely either on scripting languages, or on a process-modelling notations intended to be used by IT experts. However, the need for customised composition of Web services is likely to emanate from non IT-experts.
The project aims at designing, implementing, and evaluating an environment for the specification and execution of composite Web services by non-expert.Read moreRead less
Privacy-preserving Web Services Composition. Web services composition is emerging as a promising technology for the
effective automation of business-to-business collaborations. It allows
organizations to form alliances by connecting their applications and systems, in order to offer ``one-stops shops'' for their customers. However, several important issues (e.g., security and privacy) need to be properly addressed before Web services technology meets the requirements of critical applications s ....Privacy-preserving Web Services Composition. Web services composition is emerging as a promising technology for the
effective automation of business-to-business collaborations. It allows
organizations to form alliances by connecting their applications and systems, in order to offer ``one-stops shops'' for their customers. However, several important issues (e.g., security and privacy) need to be properly addressed before Web services technology meets the requirements of critical applications such as e-goverment. This project aims at providing privacy preserving Web services composition techniques. The anticipated outcome of this project is a service composition framework that provides seamless interoperability between different Web services without violiating citizens and organisations privacy.Read moreRead less
Diagnosis of Reference Flow Control Alerts for the Identification of Malicious Event Sequences (DiagRF). There are a reported two billion computer attacks worldwide per year. Many of these attacks require a skilled human to decipher them and to develop the "signatures" by which they can be detected. The main outcome of this project will be fundamental knowledge regarding how information flows can be tracked and then forensically analysed in a distributed computer system or network in order to ....Diagnosis of Reference Flow Control Alerts for the Identification of Malicious Event Sequences (DiagRF). There are a reported two billion computer attacks worldwide per year. Many of these attacks require a skilled human to decipher them and to develop the "signatures" by which they can be detected. The main outcome of this project will be fundamental knowledge regarding how information flows can be tracked and then forensically analysed in a distributed computer system or network in order to enable the automatic characterization of certain classes of attacks. This new approach will enable the automatic development of attack signatures and thus the detection of such attacks. The project will lead to the development of a prototype which implements the automatic analysis and characterization of such attacks to provide proof of concept.Read moreRead less
Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in ra ....Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in raising our nation's competitive advantage towards the goal of becoming a leading nation in the software industry among Asia-Pacific countries. Furthermore, this collaboration will help young Australian researchers to link to the Chinese Academy of Sciences, a leading-edge international research institute.Read moreRead less
Experimental and Numerical Modelling of Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, energy, food and pharmaceutical, which are fundamental to the Australian economy. Commercially available computer codes for simulating such systems are currently widely used in many Australian industrial sectors. This research project will address the prevalent deficiency in many of these computer codes and develop new models capable of ....Experimental and Numerical Modelling of Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, energy, food and pharmaceutical, which are fundamental to the Australian economy. Commercially available computer codes for simulating such systems are currently widely used in many Australian industrial sectors. This research project will address the prevalent deficiency in many of these computer codes and develop new models capable of predicting a wide range of industrial bubbly flow problems. The resultant improved computer codes will provide industries with significant benefits - especially reduced times and costs in their design and production.Read moreRead less
Design of Secure Electronic Voting Systems. It is inevitable that electronic voting will eventually replace current paper based voting schemes. The main outcome of the research will be the fundamental knowledge required to develop secure electronic voting schemes. The security aspects of the design will be thoroughly analysed to ensure that the integrity of the ballot is maintained without compromising user privacy. The practical aspects of implementing such a system will also be investigated ....Design of Secure Electronic Voting Systems. It is inevitable that electronic voting will eventually replace current paper based voting schemes. The main outcome of the research will be the fundamental knowledge required to develop secure electronic voting schemes. The security aspects of the design will be thoroughly analysed to ensure that the integrity of the ballot is maintained without compromising user privacy. The practical aspects of implementing such a system will also be investigated and a prototype implementation provided. The project will combine the expertise in electronic voting schemes at QUT with that of Dr Lee.Read moreRead less