Network Management in a World of Secrets. The aim of this proposal is to provide world leading measurement and management techniques for the Internet and other telecommunications networks. In particular, the methods will improve privacy of network participants (customers and providers) while simultaneously improving network performance. Additionally, the project will create expertise in an area of great future interest -- privacy preserving computation -- expertise that can be transferred to stu ....Network Management in a World of Secrets. The aim of this proposal is to provide world leading measurement and management techniques for the Internet and other telecommunications networks. In particular, the methods will improve privacy of network participants (customers and providers) while simultaneously improving network performance. Additionally, the project will create expertise in an area of great future interest -- privacy preserving computation -- expertise that can be transferred to students and the next generation of innovators.
Apart from these benefits, the research will provide exposure of Australian research strength in an area of world-wide public interest. Results concerning Internet reliability are of particularly high impact. Read moreRead less
Low power optical limiting for laser receiver protection. This project will place Australia as one of the leaders in the world in both science and technology of soft glass Photonic Band Gap Fibres, which is an enabling field of research with enormous number applications in Medicine, Defence, communication, etc. The project will develop a critical component (receiver protection) for laser range finders, which are widely being used in defence industries, therefore having national benefit in terms ....Low power optical limiting for laser receiver protection. This project will place Australia as one of the leaders in the world in both science and technology of soft glass Photonic Band Gap Fibres, which is an enabling field of research with enormous number applications in Medicine, Defence, communication, etc. The project will develop a critical component (receiver protection) for laser range finders, which are widely being used in defence industries, therefore having national benefit in terms of safeguarding Australia. The project will also be an excellent vehicle for educating young physicists and engineers in Australia. This is of national importance in itself due to the current shortage of photonics physicists.Read moreRead less
Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and los ....Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.Read moreRead less
Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented i ....Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented is very important in their design. This project will develop leading-edge performance analysis techniques and tools for an important class of practical systems. There is potential to commercialise the resulting tools and methodology and to transfer the expertise to industry.Read moreRead less
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. ....Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.Read moreRead less
Psychological User Profiling in the Telecommunications Industry. Recording user behaviour allows businesses to learn about their customers. This is particularly important in telecommunications, since the core business involves a large number of users who vary considerably from one another. This project combines psychological insights with modern statistical methods to develop a psychologically plausible user profiling framework, accounting for the idiosyncratic usage patterns of customers, and t ....Psychological User Profiling in the Telecommunications Industry. Recording user behaviour allows businesses to learn about their customers. This is particularly important in telecommunications, since the core business involves a large number of users who vary considerably from one another. This project combines psychological insights with modern statistical methods to develop a psychologically plausible user profiling framework, accounting for the idiosyncratic usage patterns of customers, and the way in which they change over time. The profiles will be tied to marketing prospects through interviews and surveys. Applied benefits include the ability to predict, understand and act upon user behaviour. The project also adds substantially to theories of memory, individual differences and decision-making.Read moreRead less