ARC Research Network in Enterprise Information Infrastructure. EII targets consolidated research towards the comprehensive development & establishment of advanced information infrastructures. Its prime purpose is to provide a forum for intellectual exchange by diverse yet complementary research groups, to address the fundamental research problems faced by scientific & business communities when dealing with deployment of information technology to globally distributed, and data intensive environme ....ARC Research Network in Enterprise Information Infrastructure. EII targets consolidated research towards the comprehensive development & establishment of advanced information infrastructures. Its prime purpose is to provide a forum for intellectual exchange by diverse yet complementary research groups, to address the fundamental research problems faced by scientific & business communities when dealing with deployment of information technology to globally distributed, and data intensive environments. EII will address 3 tightly coupled research themes: Ability to interoperate across existing heterogenous platforms & applications; Efficient processing of very large data sets; Technology adoption & impact. Generic results will be applicable to e-science and large business information systems installations.Read moreRead less
Special Research Initiatives - Grant ID: SR0354832
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Dependable Distributed Enterprises and Services. Distributed systems (clusters, grids, peer-to-peer) are the mainstay of many new applications. This has the potential of providing consumers with much more timely, accurate, and comprehensive information on which to base major decisions in financial, medical, and other areas. As with any new technology, related applications should be designed and implemented in such a way that users can depend on the application's availability and results, which i ....Dependable Distributed Enterprises and Services. Distributed systems (clusters, grids, peer-to-peer) are the mainstay of many new applications. This has the potential of providing consumers with much more timely, accurate, and comprehensive information on which to base major decisions in financial, medical, and other areas. As with any new technology, related applications should be designed and implemented in such a way that users can depend on the application's availability and results, which is the main focus of this network. The CIs will collaborate in several ways, ranging from basic research to applications, to enable the creation and maintenance of highly dependable computer systems and networked applications.
Read moreRead less
Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will he ....Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will help to maintain high research profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government (Priority 3 - Frontier Technologies). Read moreRead less
Personalized, Adaptive, and Semantic-driven Selection and Composition of Web Services. Web services are the pillar of the new generation of Internet technologies. They provide standardized access to functionality that would otherwise be hidden inside enterprise information systems. As the existing base of web services expands, there is a need for techniques to select, configure, assemble, and coordinate web services to perform complex user tasks. This project will advance the fundamental underst ....Personalized, Adaptive, and Semantic-driven Selection and Composition of Web Services. Web services are the pillar of the new generation of Internet technologies. They provide standardized access to functionality that would otherwise be hidden inside enterprise information systems. As the existing base of web services expands, there is a need for techniques to select, configure, assemble, and coordinate web services to perform complex user tasks. This project will advance the fundamental understanding and know-how in this area by addressing three complementary research challenges: how to, organize and search semantically rich service descriptions; select services with respect to flexible and personalized criteria; and coordinate services in an adaptive and context-aware manner.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
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
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
Computer Assisted Research Mathematics and its Applications. The mathematics community will benefit from infusion of new computer-assisted techniques and modalities for research and training post-graduate students, both from my pure research project and through development of an associated research centre. Ultimately, this should also help more school students learn mathematics well and so play a part in addressing Australia's skill shortage. Also, the work on optimization algorithms promises to ....Computer Assisted Research Mathematics and its Applications. The mathematics community will benefit from infusion of new computer-assisted techniques and modalities for research and training post-graduate students, both from my pure research project and through development of an associated research centre. Ultimately, this should also help more school students learn mathematics well and so play a part in addressing Australia's skill shortage. Also, the work on optimization algorithms promises to improve the performance and quality of many practical signal reconstruction methods. These are used by varied Australian industries from telecommunication to mining and by researchers in the digital arts and fields such as astronomy, physics, chemistry, bioscience, geoscience, engineering and medicine.Read moreRead less
Kernel and Margin Based Machine Learning Algorithms. Certain machine learning algorithms, such as support vector machines, utilizing
the ideas of large margins and kernels have attracted much attention lately
because of their impressive performance on real world problems such as optical
character recognition. We plan to refine and extend such algorithms to a wide
range of different machine learning problems such as gene sequence analysis,
image processing and text classification. Expected ....Kernel and Margin Based Machine Learning Algorithms. Certain machine learning algorithms, such as support vector machines, utilizing
the ideas of large margins and kernels have attracted much attention lately
because of their impressive performance on real world problems such as optical
character recognition. We plan to refine and extend such algorithms to a wide
range of different machine learning problems such as gene sequence analysis,
image processing and text classification. Expected outcomes include the
development of software that allows the solution of hitherto unsolved machine
learning problems, and the ability to solve problems larger than those solvable
by the current generation of machine learning tools.Read moreRead less
Scenario driven management in a network environment. Scenario planning is the process of identifying plausible futures and their inherent risks. The organisation, the network within which it is embedded, and the environment in which the network operates, form a complex system of non-linear, dynamic, interrelationships. This project will develop a continuous process of scenario planning, capturing learning about the future as it emerges. The project fuses the use of agents for intelligent data co ....Scenario driven management in a network environment. Scenario planning is the process of identifying plausible futures and their inherent risks. The organisation, the network within which it is embedded, and the environment in which the network operates, form a complex system of non-linear, dynamic, interrelationships. This project will develop a continuous process of scenario planning, capturing learning about the future as it emerges. The project fuses the use of agents for intelligent data collection and negotiation with agent-based modelling to build powerful network-based scenario modelling systems for commercial applications. This outcome will place Australia on the frontier of smart information use.Read moreRead less