Integration of Object Behavior in Federated Information Systems. Integration of autonomous object-oriented systems requires the integration
of object structure and object behaviour. Research in federated information
systems has so far mainly addressed integration of object structure. This
project will investigate the integration of object behaviour, especially object
life cycles. A major application area is the integration of business processes,
which is typically required when companies me ....Integration of Object Behavior in Federated Information Systems. Integration of autonomous object-oriented systems requires the integration
of object structure and object behaviour. Research in federated information
systems has so far mainly addressed integration of object structure. This
project will investigate the integration of object behaviour, especially object
life cycles. A major application area is the integration of business processes,
which is typically required when companies merge or enter into
consumer-producer relationships and constitutes a key capability for B2B e-commerce
systems. Consistency criteria for behaviour integration
will be defined and applied in a graphical integration tool that guides the
definition of global behavioural views upon autonomous object-oriented systems.
Read moreRead less
Dynamic Semantic Interoperability for Business Processes. The integration of independently developed applications constitutes
one of the major bottlenecks in modern software development in
business, industry, and defense, in particular for a nation such as
Australia that is highly reliant on overseas trade. Technologies that
facilitate the smooth application integration promise significant
savings in software development. By offering automated support task,
this project offers the potenti ....Dynamic Semantic Interoperability for Business Processes. The integration of independently developed applications constitutes
one of the major bottlenecks in modern software development in
business, industry, and defense, in particular for a nation such as
Australia that is highly reliant on overseas trade. Technologies that
facilitate the smooth application integration promise significant
savings in software development. By offering automated support task,
this project offers the potential of significant cost savings, highly
beneficial to any industry with a major ICT component. 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
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
Fuzzy modelling and design of complex networked systems. This project aims to develop analysis and synthesis approaches for non-linear networked control systems, including modelling, stability analysis and design problems. The non-linear effects and analysis of networked control systems have received considerable attention because of the universal existence of nonlinearities in practice. Network-based non-linear systems are widely used but face problems from non-linearities and networks. This pr ....Fuzzy modelling and design of complex networked systems. This project aims to develop analysis and synthesis approaches for non-linear networked control systems, including modelling, stability analysis and design problems. The non-linear effects and analysis of networked control systems have received considerable attention because of the universal existence of nonlinearities in practice. Network-based non-linear systems are widely used but face problems from non-linearities and networks. This project will establish a software-based nonlinear networked control system platform to test the presented algorithms and strengthen the scenarios in applications. This project is expected to increase Australian excellence in cyber-security and advanced manufacturing.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
Designed to last: novel gradient coatings for extreme environments. Hard coatings are frequently applied to equipment operating in harsh environments. Often such coatings are highly brittle and so fragile under stress, especially at high temperatures or in corrosive environments. Premature failure can affect safety and lead to negative economic and environmental consequences. The objective of this project is to combine bioinspired microstructural design with an emerging alloying concept to produ ....Designed to last: novel gradient coatings for extreme environments. Hard coatings are frequently applied to equipment operating in harsh environments. Often such coatings are highly brittle and so fragile under stress, especially at high temperatures or in corrosive environments. Premature failure can affect safety and lead to negative economic and environmental consequences. The objective of this project is to combine bioinspired microstructural design with an emerging alloying concept to produce a breakthrough in the development of engineering coatings; for example, overcoming the long standing trade-off between hardness and toughness. Such an innovative coating is expected to be highly durable in extreme conditions, and in so doing will help transform manufacturing, mining and desalination industries.Read moreRead less
Online Learning for Large Scale Structured Data in Complex Situations. Online Learning (OL) is the process of predicting answers for a sequence of questions. OL has enjoyed much attention in recent years due to its natural ability of processing large scale non-structured data and adapting to a changing environment. However, OL has three weaknesses: it does not scale for structured data; it often assumes that all of the data are equally important; it often considers that all of the data are compl ....Online Learning for Large Scale Structured Data in Complex Situations. Online Learning (OL) is the process of predicting answers for a sequence of questions. OL has enjoyed much attention in recent years due to its natural ability of processing large scale non-structured data and adapting to a changing environment. However, OL has three weaknesses: it does not scale for structured data; it often assumes that all of the data are equally important; it often considers that all of the data are complete and noise-free. These weaknesses limit its utility, because real data such as those that must be analysed in processing social networks, fraud detection do not satisfy the restrictions. The aim of this project is to develop theoretical and practical advances in OL that overcome the existing weaknesses.Read moreRead less
Probabilistic Graphical Models For Interventional Queries. The project intends to develop methods to suggest how to optimally intervene so that the future state of the system will best suit our interests. The power of probabilistic graphical models to model complex relationships and interactions among a large number of variables facilitates many applications. However, such models only aim to understand the underlying environment. What is ultimately needed in many real-world applications is to su ....Probabilistic Graphical Models For Interventional Queries. The project intends to develop methods to suggest how to optimally intervene so that the future state of the system will best suit our interests. The power of probabilistic graphical models to model complex relationships and interactions among a large number of variables facilitates many applications. However, such models only aim to understand the underlying environment. What is ultimately needed in many real-world applications is to suggest how we ought to intervene or act, so as to alter the environment to best suit our interests. The proposed project aims to achieve this using probabilistic graphical models on massive real-world data sets, thus facilitating a variety of applications from health care to commerce and the environment.Read moreRead less
Intelligent Technologies for Smart Cryptography. This project aims to improve cybersecurity by automating the process of generating cryptographic software for smart devices. The expected outcomes are tools that automatically produce efficient cryptographic software that resists attacks. The main benefit of this project is to reduce the amount of expert labour required when developing secure software.
Privacy-Preserving Classification for Big-Data Driven Network Traffic. Protecting sensitive information in large network traffic flows while ensuring data usability for classification emerges as a critical problem of increasing significance. Existing techniques do not work on highly heterogeneous traffic from big-data applications for both privacy protection and classification (such as port-based and load- based methods). This project investigates new theories, methods and techniques for solving ....Privacy-Preserving Classification for Big-Data Driven Network Traffic. Protecting sensitive information in large network traffic flows while ensuring data usability for classification emerges as a critical problem of increasing significance. Existing techniques do not work on highly heterogeneous traffic from big-data applications for both privacy protection and classification (such as port-based and load- based methods). This project investigates new theories, methods and techniques for solving this problem. It proposes to develop a set of effective methods for privacy-preserving data publication through combining randomisation with anonymisation, and for classifying the published data through uncertainty leveraging by probabilistic reasoning and accuracy lifting by inter-flow correlation analysis and active learning.Read moreRead less