Advancing Medical Image Analysis through High Performance Heterogeneous Computing, Numerical Simulation, and Novel Human Computer Interfaces. This project will link Australian researchers with a major multi-national IT company. The engagement of world-class personnel from Microsoft will provide unprecedented opportunities for graduate students to experience research in both an academic and an industrial setting. The participation of Microsoft product division offers the potential to transform th ....Advancing Medical Image Analysis through High Performance Heterogeneous Computing, Numerical Simulation, and Novel Human Computer Interfaces. This project will link Australian researchers with a major multi-national IT company. The engagement of world-class personnel from Microsoft will provide unprecedented opportunities for graduate students to experience research in both an academic and an industrial setting. The participation of Microsoft product division offers the potential to transform the outcomes of this project into widely-used software solutions. The project will pave the way for more widespread and reliable evidenced-based computer-aided diagnosis and image-guided treatment. It will produce well-trained and sought-after graduates and research associates with extensive inter-disciplinary knowledge of medical image analysis and high-performance computing.Read moreRead less
Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less
Formalising and automating the elicitation and reconciliation of requirements from multiple stakeholders. It is well recognised that requirements specifications are often error-prone and that it is much cheaper to detect and fix these errors early in the software development life cycle than later. A major problem with requirements determination is that each and every stakeholder has his/her own representation of the enterprise reality. This project seeks to take these views and use set-theore ....Formalising and automating the elicitation and reconciliation of requirements from multiple stakeholders. It is well recognised that requirements specifications are often error-prone and that it is much cheaper to detect and fix these errors early in the software development life cycle than later. A major problem with requirements determination is that each and every stakeholder has his/her own representation of the enterprise reality. This project seeks to take these views and use set-theoretical techniques from Formal Concept Analysis (FCA) to automatically generate and compare the underlying conceptual models. A process model based on FCA has been proposed which we will extend and empirically evaluate in this project. The result will be a more rigorous and yet pragmatic approach to requirements engineering which offers the greatest economic leverage.Read moreRead less
Accurate Performance Modelling and Prediction of Cluster Computers. The tools, methodologies and data produced by this project will assist
Australian academic and industrial organisations in choosing the most
cost-effective cluster configurations for their specific high
performance computing requirements. It will also help an Australian
company to compete with increasing strength against the major
multinationals. The project will also draw together and promote future
research links between ....Accurate Performance Modelling and Prediction of Cluster Computers. The tools, methodologies and data produced by this project will assist
Australian academic and industrial organisations in choosing the most
cost-effective cluster configurations for their specific high
performance computing requirements. It will also help an Australian
company to compete with increasing strength against the major
multinationals. The project will also draw together and promote future
research links between two major academic institutions in this field.
Finally, the project will provide high-level training in research,
with industrial grounding, in the high performance computing industry.
Read moreRead less
A Framework for Supporting Consistent and Reliable Collaborative Business Transactions. Business integration and enterprise computing is at the heart of ICT objectives and initiatives global wide. The project aims to be of unique value to Australian industry and provide a means to achieve excellence in the field of research that promises to shape the future of e-business technology. The research conducted within this project will position Australia as one of the leaders in the business transacti ....A Framework for Supporting Consistent and Reliable Collaborative Business Transactions. Business integration and enterprise computing is at the heart of ICT objectives and initiatives global wide. The project aims to be of unique value to Australian industry and provide a means to achieve excellence in the field of research that promises to shape the future of e-business technology. The research conducted within this project will position Australia as one of the leaders in the business transaction area. The project outcomes in the form of specifications and formal models will provide generic solutions that are applicable to many Australian and international companies involved in distributed computing and e-business technologies. Read moreRead less
Harmonized Messaging - A New Foundation for Automated Process Communication. Process communication, especially in web environments is characterized by complex interactions between heterogeneous and autonomous systems within the enterprise and often between trading partners. An overwhelming number of initiatives and proposals are underway to provide solutions for process specification and communication. However, the focus is often on defining APIs rather than the semantics of the underlying messa ....Harmonized Messaging - A New Foundation for Automated Process Communication. Process communication, especially in web environments is characterized by complex interactions between heterogeneous and autonomous systems within the enterprise and often between trading partners. An overwhelming number of initiatives and proposals are underway to provide solutions for process specification and communication. However, the focus is often on defining APIs rather than the semantics of the underlying message exchange. We see a great potential in changing the current messaging infrastructure to suit its new role in facilitating complex, long running interactions for collaborative processes operating in a decentralized environment. This envisaged next generation of messaging technology will extend its ability to support dynamic business processes in a web-centric environment. Providing a level of harmonisation to multiple messages to form a single custom definable backbone of a newly formed message stream, creates a highly challenging new research direction. There is a strong potential that the project outcomes will present a new way of overcoming well understood difficulties in dealing with multiple communicating processes owned by different partners and executing on disparate systems.Read moreRead less
A New Formal Framework for Service Oriented Process Communication. Cross organizational communication in current business environments is highly dynamic, process driven and web centric. The web services paradigm is emerging as a powerful new technology solution to facilitate complex interactions between heterogeneous and autonomous systems within the enterprise and often between trading partners. Although the industry is inundated with initiatives on web services, most are heavily focussed on th ....A New Formal Framework for Service Oriented Process Communication. Cross organizational communication in current business environments is highly dynamic, process driven and web centric. The web services paradigm is emerging as a powerful new technology solution to facilitate complex interactions between heterogeneous and autonomous systems within the enterprise and often between trading partners. Although the industry is inundated with initiatives on web services, most are heavily focussed on the underlying specification platforms and technology components. We see a great need and potential for developing a formal framework for service oriented process communication. The design of such a formal framework is the focus of this project. Project outcomes not only hold great potential to contribute to fundamental research questions in process specification, validation and ontological evaluation, but will also deliver significant impact on related technologies of messaging middleware, integration platforms and workflow management systems.Read moreRead less
Human interaction with context-aware computing systems. Context-aware systems can provide seamless support of IT applications in a variety of technologies and therefore can improve: (i) work performance and adoption of IT in many industries; and (ii) the quality of life through better support for health services, education, and everyday tasks. Currently proposed solutions for context-aware systems fail to deliver systems which are usable for non-IT professionals. The proposed project will show h ....Human interaction with context-aware computing systems. Context-aware systems can provide seamless support of IT applications in a variety of technologies and therefore can improve: (i) work performance and adoption of IT in many industries; and (ii) the quality of life through better support for health services, education, and everyday tasks. Currently proposed solutions for context-aware systems fail to deliver systems which are usable for non-IT professionals. The proposed project will show how to design context-aware systems that are usable and whose autonomic decisions can be trusted. Additional benefits include increased scientific competitiveness of Australia, strengthened collaboration with international research institutions, and high quality graduates (PhDs, Masters, Honours).Read moreRead less
Innovative visualization of next-generation biomedical images. This project addresses the difficult problems associated with managing the vast amounts of data that are currently available with advanced imaging devices and displaying these data so that the maximum amount of information can be extracted. Developing visualization capabilities for such data is not a trivial undertaking but the outcome of this research will produce enabling visualization technologies that will significantly impact th ....Innovative visualization of next-generation biomedical images. This project addresses the difficult problems associated with managing the vast amounts of data that are currently available with advanced imaging devices and displaying these data so that the maximum amount of information can be extracted. Developing visualization capabilities for such data is not a trivial undertaking but the outcome of this research will produce enabling visualization technologies that will significantly impact the life science, biomedical research and the way clinicians view and use these data for patient management. These technologies will have broad applications across biology and molecular science and will enhance Australia's leading position in the development of frontier technologies.Read moreRead less
A Formal Framework for Developing and Managing Adaptable Service Oriented Business Collaboration. Business collaboration and integration is at the heart of ICT objectives and initiatives global wide. The project aims to be of unique value to Australian industry and provide a means to achieve excellence in the field of research that promises to shape the future of e-business technology. The research conducted within this project will position Australia as one of the leaders in the business collab ....A Formal Framework for Developing and Managing Adaptable Service Oriented Business Collaboration. Business collaboration and integration is at the heart of ICT objectives and initiatives global wide. The project aims to be of unique value to Australian industry and provide a means to achieve excellence in the field of research that promises to shape the future of e-business technology. The research conducted within this project will position Australia as one of the leaders in the business collaboration area. The project outcomes in the form of framework, formal models and specifications will provide generic solutions that are applicable to many Australian and international companies involved in business process development and management in particular and e-business technologies in general.Read moreRead less