Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and ....Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and first to link conditional objects with continuous time constraints.
Need for structures we propose arises in diagnostic reasoning, bayesian learning, temporal databases, and time-dependent data mining. Several commercial products (like Microsoft Office Assistant)could apply them forthwith.Read moreRead less
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
Exploiting Database Technologies for the Visualization and Analysis of Measured and Simulated Plant Structures in Bioinformatics. The project will contribute to both bioinformatics and database research at both the national and international levels, although this project is specifically focusing on plant architecture but it has great potential other fields such as solving computationally difficult problems of branching in nature such as DNA and crystal related research. The results of this resea ....Exploiting Database Technologies for the Visualization and Analysis of Measured and Simulated Plant Structures in Bioinformatics. The project will contribute to both bioinformatics and database research at both the national and international levels, although this project is specifically focusing on plant architecture but it has great potential other fields such as solving computationally difficult problems of branching in nature such as DNA and crystal related research. The results of this research can be applied to all kinds of plants such as rice, cotton, rose etc.Read moreRead less
Integrated Financial Fraud Detection in Enterprise Applications. Fraud costs the Australian economy at least $3 billion per year. The incidence of fraud within the Australian economy is increasing. Australian entities are ill-prepared to detect and prevent fraud against their businesses with very few developing or implementing any form of fraud control strategy (AS 8001-2003). The growing use of the Internet by organisations for electronic commerce increases their exposure to fraudulent activiti ....Integrated Financial Fraud Detection in Enterprise Applications. Fraud costs the Australian economy at least $3 billion per year. The incidence of fraud within the Australian economy is increasing. Australian entities are ill-prepared to detect and prevent fraud against their businesses with very few developing or implementing any form of fraud control strategy (AS 8001-2003). The growing use of the Internet by organisations for electronic commerce increases their exposure to fraudulent activities. Inevitably much of the cost of fraud is passed on to the customers and the community at large. By providing large organisations with an approach to assist in detecting fraudulent behaviour in accounting systems, it is envisaged that this research will assist in reducing the impact of fraud on society.Read moreRead less
Applying Method Engineering Techniques to the Construction of Agile Methodologies. Agile approaches to software development provide flexibility within the method but provide no assistance for improving the selected method. This second kind of flexibility is important to permit organizations to improve with time. To accomplish such improvement, a method engineering approach is proposed for agile method construction using the OPEN Process Framework, which consists of a metamodel and a collection ....Applying Method Engineering Techniques to the Construction of Agile Methodologies. Agile approaches to software development provide flexibility within the method but provide no assistance for improving the selected method. This second kind of flexibility is important to permit organizations to improve with time. To accomplish such improvement, a method engineering approach is proposed for agile method construction using the OPEN Process Framework, which consists of a metamodel and a collection of method components, stored in a repository. In collaboration with Eagle Datamation International, we will devise methods of constructing an agile method tailored to their business needs and then evaluate it in practice, monitoring as the method evolves and improves.Read moreRead less
Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of saf ....Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of safety analysis and formal methods. In particular, mathematical concepts will be introduced using notations suitable for use by security personnel with no prior formal methods experience. The outcomes of this project will enable more efficient and effective information security evaluations.Read moreRead less
Metamodel-based Methodology for Developing Agent-Oriented Systems. In the context of building high quality software, agent technology offers substantial promise. However, its widespread deployment by industry is hampered by the lack of commercially acceptable development methodologies. Here, we expand a metamodel-based process framework (the OPEN Process Framework) to support agent-oriented (AO) software development that will eventually both form a de facto standard for AO methodologies and be ....Metamodel-based Methodology for Developing Agent-Oriented Systems. In the context of building high quality software, agent technology offers substantial promise. However, its widespread deployment by industry is hampered by the lack of commercially acceptable development methodologies. Here, we expand a metamodel-based process framework (the OPEN Process Framework) to support agent-oriented (AO) software development that will eventually both form a de facto standard for AO methodologies and be acceptable for commercial software application development. To create this extension, significant research in AO software engineering is required. Our basis will be the OPF plus elements from existing AO methodologies, notably Tropos and Gaia, whose authors will collaborate actively.Read moreRead less
Automatic Ontology Learning and Data Reasoning in Web Mining. This research has an impact on both research and practical applications. In research, it provides opportunities for research students to carry out research using both data mining and data reasoning to solving Web based application problems. In practical, it can help IT industry to design the new generation of Web mining systems in order to provide invaluable service to users. This research also develops new techniques for data automa ....Automatic Ontology Learning and Data Reasoning in Web Mining. This research has an impact on both research and practical applications. In research, it provides opportunities for research students to carry out research using both data mining and data reasoning to solving Web based application problems. In practical, it can help IT industry to design the new generation of Web mining systems in order to provide invaluable service to users. This research also develops new techniques for data automatic processing within areas of smart information use in Australia. In particular it further develops data mining techniques by introducing data reasoning models for using discovered knowledge. It must be useful to improve the efficiency of the existing data mining systems. Read moreRead less
Components for Active Knowledge Portals. Businesses require people to collaborate and share knowledge in their work processes especially when they are in different locations. Such collaboration emerges by dynamically creating parallel and disconnected collaborative tasks that must be coordinated to meet organizational goals. This project will define the semantics of such emerging processes in the context of software digital workspaces that support them. It will then identify ways of constructing ....Components for Active Knowledge Portals. Businesses require people to collaborate and share knowledge in their work processes especially when they are in different locations. Such collaboration emerges by dynamically creating parallel and disconnected collaborative tasks that must be coordinated to meet organizational goals. This project will define the semantics of such emerging processes in the context of software digital workspaces that support them. It will then identify ways of constructing and using workspaces by creating active knowledge portals to support emerging processes. These portals will include software agents that are sensitive to the business context and help coordinate tasks within the emerging process.Read moreRead less
Practical methodologies for agent-oritented conceptual modelling. Conceptual modelling involves using knowledge representation techniques to support the requirements engineering phase of the software life-cycle. Agent-oriented conceptual modelling is a relatively new technique that offers significant benefits in modelling complex organisational information systems. However, several problems need to be addressed with current agent-oriented conceptual modelling languages and methodologies. In the ....Practical methodologies for agent-oritented conceptual modelling. Conceptual modelling involves using knowledge representation techniques to support the requirements engineering phase of the software life-cycle. Agent-oriented conceptual modelling is a relatively new technique that offers significant benefits in modelling complex organisational information systems. However, several problems need to be addressed with current agent-oriented conceptual modelling languages and methodologies. In the context of a PhD dissertation, this project will develop an improved agent-oriented conceptual modelling framework and related requirements elicitation techniques drawing on advances in Artificial intelligenct, Requireents Engineering and Organisational Semiotics. The practical deliverables of this project will address the needs of a large complex government organisation.Read moreRead less