Cooperative Management of Virtual Teams and Enterprises. Thanks to the proliferation of the Internet and web technologies, it is now possible to exploit the power of these technologies to facilitate the cooperation of teams of workers across distances. Such virtual teams and virtual enterprises are expected to overcome many problems associated in the modern service industry spanning continents. Countries (such as Australia) that are located far from the main markets (e,g, Europe and North Americ ....Cooperative Management of Virtual Teams and Enterprises. Thanks to the proliferation of the Internet and web technologies, it is now possible to exploit the power of these technologies to facilitate the cooperation of teams of workers across distances. Such virtual teams and virtual enterprises are expected to overcome many problems associated in the modern service industry spanning continents. Countries (such as Australia) that are located far from the main markets (e,g, Europe and North America) stand to gain substantially from successful deployment of such virtual organisations. Researchers from UNSW and LORIA France have been working together on the development of cooperative management models for virtual enterprises. This application seeks funding for the travel of researchers across these countries to facilitate this research.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
Singular and Analytic Perturbations, Slow and Fast Time Scales in Control Theory and Viability Theory and their Applications. We propose an innovative approach to several important classes of mathematical problems, whose data depend analytically on small perturbation parameters. Time scale problems, and, in particular, the interaction of two types of evolution, slow and fast, arise in many scientific domains (biotechnology, physics, engineering, etc).We expect to develop new techniques for analy ....Singular and Analytic Perturbations, Slow and Fast Time Scales in Control Theory and Viability Theory and their Applications. We propose an innovative approach to several important classes of mathematical problems, whose data depend analytically on small perturbation parameters. Time scale problems, and, in particular, the interaction of two types of evolution, slow and fast, arise in many scientific domains (biotechnology, physics, engineering, etc).We expect to develop new techniques for analysis and asymptotic optimisation of singularly perturbed control systems and Markov decision processes. In particular, we plan to establish links between general nonlinear optimal control problems with time average criteria and linear programming problems in the space of limit occupational measures generated by the underlying control system.Read moreRead less
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
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
Smart Location Sensors for Emergency Responders. 1. It underpins the 2006 e-Government strategy with regards to spatially enabling Australian Government. This research will generate outputs to support this strategy. 2. It contributes to Australian national strategies for emergency management with regards to 'assuring the safety of emergency responders'. 3. It addresses fundamental constraints of positioning systems like GPS and provides the theoretical and practical models to take GPS into 'hars ....Smart Location Sensors for Emergency Responders. 1. It underpins the 2006 e-Government strategy with regards to spatially enabling Australian Government. This research will generate outputs to support this strategy. 2. It contributes to Australian national strategies for emergency management with regards to 'assuring the safety of emergency responders'. 3. It addresses fundamental constraints of positioning systems like GPS and provides the theoretical and practical models to take GPS into 'harsher' environments. The outcomes will expand the uses of GPS and facilitate growth across many Australian industries. 4. It will enhance the expertise and international profile of Australian researchers by offering an innovative solution to an internationally significant problem.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
Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's st ....Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's standing in the international research community. Also their visits may further promote research both within and outside the host institution. In particular, lectures and seminars that they will deliver will be transmitted to Australian universities participating in the Access Grid Room Project.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