An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.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
Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and ....Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and techniques. The expected outcomes include novel software, verified by industry partners in real world case studies, ranging from life sciences to hypersonic transport. This should provide significant benefits, including the capacity for Australian industries to access world-class supercomputing technology.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0668542
Funder
Australian Research Council
Funding Amount
$425,000.00
Summary
Multimedia Computing, Production, Management and Distribution for HDTV and its Applications. Australia is the first country to launch digital TV nationally. Increasingly, this platform will be used for consuming multimedia information; also the HDTV infrastructure is being applied to other domains such as telemedicine/e-Health to lower costs and improve effectiveness. For Australia to be a step ahead in the development of these applications that are beneficial to a wider community, we have to lo ....Multimedia Computing, Production, Management and Distribution for HDTV and its Applications. Australia is the first country to launch digital TV nationally. Increasingly, this platform will be used for consuming multimedia information; also the HDTV infrastructure is being applied to other domains such as telemedicine/e-Health to lower costs and improve effectiveness. For Australia to be a step ahead in the development of these applications that are beneficial to a wider community, we have to look forward and establish adequate infrastructure for the development of needed applications of the future. It is strongly believed that by doing so we can position ourselves ahead of other communities in anticipating and providing essential services to our modern society and this in turn will greatly benefit the Australian economy.Read moreRead less
Cluster randomised control trial of an early childhood literacy intervention to improve literacy and language outcomes in preschool aged children. Reading failure disproportionately affects disadvantaged communities in Australia, with nearly 40% of poor children failing to read at the minimum reading benchmark in Grade three. Of more concern is the disturbing trend indicating that prior to first grade, socioeconomic status (SES) differences also exist in important antecedents of reading such as ....Cluster randomised control trial of an early childhood literacy intervention to improve literacy and language outcomes in preschool aged children. Reading failure disproportionately affects disadvantaged communities in Australia, with nearly 40% of poor children failing to read at the minimum reading benchmark in Grade three. Of more concern is the disturbing trend indicating that prior to first grade, socioeconomic status (SES) differences also exist in important antecedents of reading such as letter knowledge and phonological processing skills, yet there remains no universal program to promote early language and literacy practices in the primary care setting. We propose a cluster randomised controlled trial to evaluate the efficacy of a multi injection intervention to improve literacy outcomes of children in disadvantaged communities.Read moreRead less
Mobile Indonesians: social differentiation and digital literacies in the twenty first century. This is the first dedicated study of the social implications of mobile telephony's recent and rapid popularisation throughout the country. This project will study metropolitan, urban and rural users to understand how mobile phones create the new and unexpected social networks which will shape tomorrow's Indonesians.
Australian Aboriginal conversational style. This project aims to re-examine claims that Aboriginal Australians conduct conversations in different ways to Anglo-Australians. It will investigate and compare ordinary conversations in these groups on a large scale. The project expects to provide new evidence to explicate Aboriginal and non-Aboriginal conversational norms, pinpointing differences which may lead to intercultural miscommunication. Expected outcomes include endangered language documenta ....Australian Aboriginal conversational style. This project aims to re-examine claims that Aboriginal Australians conduct conversations in different ways to Anglo-Australians. It will investigate and compare ordinary conversations in these groups on a large scale. The project expects to provide new evidence to explicate Aboriginal and non-Aboriginal conversational norms, pinpointing differences which may lead to intercultural miscommunication. Expected outcomes include endangered language documentation, and evidence-based findings to disseminate to service providers, to communities and to Aboriginal organisations to improve ways of engaging with each other. In addition, the project will benefit Aboriginal communities with new approaches to language revitalisation.Read moreRead less
Engaging ethnic minority and majority blood donors in donor recruitment. Word-of-mouth is a potentially powerful way to recruit blood donors. Talking about donation increases awareness, trust, commitment and positive feelings about donating, particularly in ethnic minority groups. However, donors seldom tell others about donating. This project aims to determine how to motivate blood donors to recruit new donors using word-of-mouth, through research comprising co-design, surveys, and experiments. ....Engaging ethnic minority and majority blood donors in donor recruitment. Word-of-mouth is a potentially powerful way to recruit blood donors. Talking about donation increases awareness, trust, commitment and positive feelings about donating, particularly in ethnic minority groups. However, donors seldom tell others about donating. This project aims to determine how to motivate blood donors to recruit new donors using word-of-mouth, through research comprising co-design, surveys, and experiments. This project will generate new knowledge of how to encourage effective word-of-mouth for pro-social behaviours. Expected outcomes include producing culturally relevant, validated resources that will significantly benefit Australia by encouraging effective conversations to promote blood donation in all communities.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0238930
Funder
Australian Research Council
Funding Amount
$350,000.00
Summary
Austlit: The Australian Literature Gateway - Enhancement Stage Two. The Austlit: The Australian Literature Gateway Enhancement Stage Two Project will deliver enhanced functionality for researchers using the integrated resource discovery service developed in 2000 and 2001. In 2002, the Gateway will add new bibliographic, biographical and full text sources to the service, and map rich literary relationships based on this data, supporting the development of new research questions on the place of th ....Austlit: The Australian Literature Gateway - Enhancement Stage Two. The Austlit: The Australian Literature Gateway Enhancement Stage Two Project will deliver enhanced functionality for researchers using the integrated resource discovery service developed in 2000 and 2001. In 2002, the Gateway will add new bibliographic, biographical and full text sources to the service, and map rich literary relationships based on this data, supporting the development of new research questions on the place of the national literature in Australian culture. The Gateway's technical infrastructure will be developed to offer a sophisticated browsing interface, customised services to support specific research, and broader interoperability with other services, including flexible education and portal services.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0347049
Funder
Australian Research Council
Funding Amount
$403,000.00
Summary
Building Australian Literary Knowledge Infrastructure. The primary goal of AustLit: the Australian Literature Gateway is to facilitate and encourage research in, and teaching of, the nation's creative and critical literature. AustLit's innovative world class resource discovery service utilises best practice techniques in information management and knowledge sharing. In 2003, AustLit will develop new technical services and important new content to meet the defined needs of a wide range of educati ....Building Australian Literary Knowledge Infrastructure. The primary goal of AustLit: the Australian Literature Gateway is to facilitate and encourage research in, and teaching of, the nation's creative and critical literature. AustLit's innovative world class resource discovery service utilises best practice techniques in information management and knowledge sharing. In 2003, AustLit will develop new technical services and important new content to meet the defined needs of a wide range of education and information consumers in the area. AustLit provides the foundation for a subject specific digital library that will retain and expand its usefulness into the future.Read moreRead less