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
Understanding concurrent programs using rely-guarantee thinking. Multi-core processors are standard in computers and devices (e.g. smart phones) but much of the software available for these machines is either unreliable or does not exploit the available hardware parallelism. This project will devise techniques for designing concurrent software that exploits these platforms while delivering dependable operation.
Software debuggers for next generation heterogeneous supercomputers. Supercomputing underpins a wide range of areas of importance to the Australian economy; mining, agriculture, engineering and medical research to name a few. It is of critical importance that software solutions in these areas behave correctly. This project will develop software tools and techniques to help locate errors in such applications.
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
An investigation of meaning negotiation in electronic discourse. This project investigates the use of collaborative electronic exchanges between language students in Indonesian and Queensland schools to enhance language and inter-cultural development. The chief investigators will develop a new model of discourse appropriate to such asynchronous communication (e-mail and forums), as well as investigate developments in technological literacy. Other outcomes will include guidelines for creating pra ....An investigation of meaning negotiation in electronic discourse. This project investigates the use of collaborative electronic exchanges between language students in Indonesian and Queensland schools to enhance language and inter-cultural development. The chief investigators will develop a new model of discourse appropriate to such asynchronous communication (e-mail and forums), as well as investigate developments in technological literacy. Other outcomes will include guidelines for creating practical technology-mediated tasks, and protocols for establishing and maintaining electronic tandem exchanges with a developing country. Results will be reported to the Industry Partner and relevant educational authorities and published in national and international journals such as ARAL, Babel and CALL Journal.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
Are some languages better than others? It is important for the Australian community - speaking several hundred different indigenous and immigrant languages across the nation - to realise that each language has approximately (but not precisely) the same overall complexity as every other. One may have intricate word structure, while another has short words but elaborate rules for putting words together to make sentences. And, striding above 'political correctness', many people in Australia will be ....Are some languages better than others? It is important for the Australian community - speaking several hundred different indigenous and immigrant languages across the nation - to realise that each language has approximately (but not precisely) the same overall complexity as every other. One may have intricate word structure, while another has short words but elaborate rules for putting words together to make sentences. And, striding above 'political correctness', many people in Australia will be interested to know whether a certain language is a little more efficient than certain other languages for a particular purpose (for example, commercial business). 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.
The world through the prism of language: a cross-linguistic view of genders, noun classes, and classifiers. Australia is one of the most multilingual and multicultural countries in the world, with several hundred indigenous and immigrant languages. Noun classification devices - ranging from gender systems in familiar Indo-European languages to numeral classifiers in Southeast Asian languages - offer a unique insight into people's categorisation of the world around them. In-depth knowledge of how ....The world through the prism of language: a cross-linguistic view of genders, noun classes, and classifiers. Australia is one of the most multilingual and multicultural countries in the world, with several hundred indigenous and immigrant languages. Noun classification devices - ranging from gender systems in familiar Indo-European languages to numeral classifiers in Southeast Asian languages - offer a unique insight into people's categorisation of the world around them. In-depth knowledge of how speakers of different languages classify objects around them will promote intercultural understanding within Australia and world-wide, allowing us to overcome potential miscommunications due to different language backgrounds, and advancing our understanding of the region and the world (within the National Priority 'Safeguarding Australia'). 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