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
Preventing railway suicide: An open-systems perspective. Preventing railway suicide: An open-systems perspective. This project aims to develop an automated suicide risk detection system to reduce the incidence and impact of railway suicide, which has a devastating effect on victims’ families, station staff, train drivers, emergency workers, and bystanders. This project will use open-systems theory to develop two complementary information systems for more effective detection and reporting of suic ....Preventing railway suicide: An open-systems perspective. Preventing railway suicide: An open-systems perspective. This project aims to develop an automated suicide risk detection system to reduce the incidence and impact of railway suicide, which has a devastating effect on victims’ families, station staff, train drivers, emergency workers, and bystanders. This project will use open-systems theory to develop two complementary information systems for more effective detection and reporting of suicide risk; use these systems to investigate how different situational factors interact with different combinations of service interventions to influence suicide risk; and share the findings to reduce railway suicide in Australia and overseas.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
A novel cooperative global information system for healthcare. This project will develop a global model for healthcare based on the groundbreaking Protocol Hypothesis Testing (PHT) system, allowing expert groups of clinicians to create and share knowledge across organizations. The PHT is a unique functioning knowledge management system that allows clinicians to record patient and treatment data as it is generated in clinical practice and applies scientific methods to generate clinical knowledge, ....A novel cooperative global information system for healthcare. This project will develop a global model for healthcare based on the groundbreaking Protocol Hypothesis Testing (PHT) system, allowing expert groups of clinicians to create and share knowledge across organizations. The PHT is a unique functioning knowledge management system that allows clinicians to record patient and treatment data as it is generated in clinical practice and applies scientific methods to generate clinical knowledge, all in real-time. The project will develop and test a framework for the PHT system to be used cooperatively by expert groups across virtual organizations, refining the PHT system in the process.Read moreRead less
Modelling, Identification and Control of Complex Networks. Australia has been well known for its leading research in systems and control and many real-world applications in, for instance, telecommunications, defence, power grids and life sciences. This project will further promote Australia's leading position in the emerging new research field - complex networks by theoretical breakthrough in modelling, identification and control of complex networks, and cutting-edge platform technology that can ....Modelling, Identification and Control of Complex Networks. Australia has been well known for its leading research in systems and control and many real-world applications in, for instance, telecommunications, defence, power grids and life sciences. This project will further promote Australia's leading position in the emerging new research field - complex networks by theoretical breakthrough in modelling, identification and control of complex networks, and cutting-edge platform technology that can help Australian energy industry to reduce greenhouse emissions. It will also result in education of the next generation research leaders in this emerging field.Read moreRead less
Special Research Initiatives - Grant ID: SR0354729
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Smart Use of Information Technologies (SUITs). The SUITs network will develop critical mass in world-class, leading-edge research into the smart use of information and communication technology (ICT) through integration of research within the dispersed Australian ICT research community and through facilitating international linkages. The network will undertake research applicable in key sectors including the health, education, service, knowledge and media industries. The aim is to establish a h ....Smart Use of Information Technologies (SUITs). The SUITs network will develop critical mass in world-class, leading-edge research into the smart use of information and communication technology (ICT) through integration of research within the dispersed Australian ICT research community and through facilitating international linkages. The network will undertake research applicable in key sectors including the health, education, service, knowledge and media industries. The aim is to establish a higher order of coordination and collaboration in research into ICT applications.
The feasibility study proposed will engage key stakeholders, refine research goals and investigate linkage mechanisms to improve Australia's ICT research and its contribution to economic and social well-being.
Read moreRead less
Special Research Initiatives - Grant ID: SR0354693
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Australian e-Research Grid. The e-Research Grid program will research and implement core Grid technologies on APAC and partner's deployed HPC resources, to underpin a broad range of Australian research. The computer science CIs will form collaborative links with international programs, adapting developments to local circumstances. The applications-domain CIs will leverage those into their scientific simulations and databases, using grid integrative techniques and portals. Many CIs participate in ....Australian e-Research Grid. The e-Research Grid program will research and implement core Grid technologies on APAC and partner's deployed HPC resources, to underpin a broad range of Australian research. The computer science CIs will form collaborative links with international programs, adapting developments to local circumstances. The applications-domain CIs will leverage those into their scientific simulations and databases, using grid integrative techniques and portals. Many CIs participate in other RNs linking to their motivating applications, enhancing prospects for research and integration. They participate in the APAC Grid program, leveraging 75 HPC staff nationally. A key aim is interoperability with "real-world Grids": eg e-learning & e-health programs.Read moreRead less