Dynamic Cooperative Performance Optimizations. This project seeks to improve the reliability, security, and
performance of modern software systems. Security is a problem of such
scale that outbreaks of computer viruses etc. headline in major
financial newspapers. We approach the problem by addressing the key
performance problems that hold back the programming languagues widely
used for secure and reliable systems. By improving the reliability,
security and performance of computer system ....Dynamic Cooperative Performance Optimizations. This project seeks to improve the reliability, security, and
performance of modern software systems. Security is a problem of such
scale that outbreaks of computer viruses etc. headline in major
financial newspapers. We approach the problem by addressing the key
performance problems that hold back the programming languagues widely
used for secure and reliable systems. By improving the reliability,
security and performance of computer systems, this project will help
alleviate the millions of hours and dollars lost to inadvertent errors
and malicious software attacks. The project will give Australia an
international presence in a research area of great academic and
commercial importance.Read moreRead less
Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical ....Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical information, such as encryption keys, through timing channels. This should prevent sophisticated attacks on public clouds, mobile devices and military-grade cross-domain devices.Read moreRead less
The key strategies in firms' realisation of value from ICT: A transformational model of ICT value generation. Studies indicate that information and communication technologies (ICT) have contributed significantly to Australia's productivity gains over the last decade. It is not well understood, however, why some firms and some industries have been able to benefit significantly more from ICT use than others. This study will show the strategies and practices that are used by the firms that gain max ....The key strategies in firms' realisation of value from ICT: A transformational model of ICT value generation. Studies indicate that information and communication technologies (ICT) have contributed significantly to Australia's productivity gains over the last decade. It is not well understood, however, why some firms and some industries have been able to benefit significantly more from ICT use than others. This study will show the strategies and practices that are used by the firms that gain maximum benefit from ICT - the 'ICT winners'. The lessons learned will allow other firms to gain further benefits from ICT, potentially leading overall to further economic gains by industries and the nation. Read moreRead less
A theory of communicative practices within financial internet discussion site communities. This project aims to use online financial investment communities to identify factors that drive communication and influence knowledge co-creation, examine how systematic variations in these factors influence investor decision making, and develop a mid-range theory for explaining and predicting the influence of online communication patterns on individual decisions and market outcomes. By developing and vali ....A theory of communicative practices within financial internet discussion site communities. This project aims to use online financial investment communities to identify factors that drive communication and influence knowledge co-creation, examine how systematic variations in these factors influence investor decision making, and develop a mid-range theory for explaining and predicting the influence of online communication patterns on individual decisions and market outcomes. By developing and validating a new mid-range theory, initially in the financial investment context, this project will provide significant benefits, such as help to secure Australia’s place in a changing world through improved information flow.Read moreRead less
Dynamic Analysis and Control for Hybrid Systems and Networks. Hybrid systems are now accepted as the best way to model many high-tech situations in transport, energy management, networking, household and industrial automation. This project will develop the theoretical tools needed to ensure such systems operate stably and efficiently despite imperfections and outside disturbances.
The impact of strategic alignment on IT outsourcing success in a complex service setting. Improved conceptual and methodological understanding of strategic alignment is essential for better IT outsourcing decisions. This research will improve the performance of Australian industry by investigating how strategically well aligned ITO investments can lead to improved performance and greater competitive advantage.
Digital nomadism: How IT enables new forms of working and organising. This project aims to gain a better understanding of digital nomadism. Digital nomads use IT platforms to work remotely over the Internet while perpetually travelling. The project will develop new knowledge by better understanding of how IT transforms work and enable digital nomadism, the motivations and values of workers and their clients/organisations engaged in digital nomadism and the implications and consequences of digita ....Digital nomadism: How IT enables new forms of working and organising. This project aims to gain a better understanding of digital nomadism. Digital nomads use IT platforms to work remotely over the Internet while perpetually travelling. The project will develop new knowledge by better understanding of how IT transforms work and enable digital nomadism, the motivations and values of workers and their clients/organisations engaged in digital nomadism and the implications and consequences of digital nomadism for workers and clients/organisations. The project is expected to have a significant impact on policy and public discourse by providing an in-depth explanation and understanding of digital nomadism based on rigorous research.Read moreRead less
The 2004 Australian Election Study Survey: The Decline of Political Parties? Long renowned for the stability of its political party system, Australia is finally experiencing a sustained challenge to the dominance of the major parties, which is reflected in an increasing preference by voters for minor parties and independent candidates. This project will examine the implications of these developments by conducting a public-use, national sample survey of voters at the next federal election, likely ....The 2004 Australian Election Study Survey: The Decline of Political Parties? Long renowned for the stability of its political party system, Australia is finally experiencing a sustained challenge to the dominance of the major parties, which is reflected in an increasing preference by voters for minor parties and independent candidates. This project will examine the implications of these developments by conducting a public-use, national sample survey of voters at the next federal election, likely to be held in 2004. The outcomes generated by the project will enhance academic and community understanding of the nature of the changing partisan climate within the Australian electorate.Read moreRead less
The 2010 Australian election study: The dynamics of political choice. In addition to providing an in-depth understanding of general patterns of Australian voting behaviour, the 2010 Australian Election Study (AES) will provide a detailed, objective account of how and why voters made up their minds in the 2010 federal election. The 2010 AES adds to the unbroken series of national election surveys conducted after each Australian federal election since 1987. These surveys provide an unrivalled re ....The 2010 Australian election study: The dynamics of political choice. In addition to providing an in-depth understanding of general patterns of Australian voting behaviour, the 2010 Australian Election Study (AES) will provide a detailed, objective account of how and why voters made up their minds in the 2010 federal election. The 2010 AES adds to the unbroken series of national election surveys conducted after each Australian federal election since 1987. These surveys provide an unrivalled resource for moving beyond impressionistic accounts of political behaviour. The survey will enable researchers to determine what citizens think of politics and the processes that produce a government, and to understand how and why mass political attitudes have changed over a quarter of a century.Read moreRead less