Research Publications
All Technical Report - 2011 | |
| Narrow your search | 13 result(s) |
By Type By Year By Research Group | Graphs are widely used for modeling complicated data such as social networks, bibliographical networks and knowledge bases. The growing sizes of graph databases motivate the crucial need for developing powerful and scalable graphbased query engines. We ... This report summarises the work done in Option 1 of AOARD project 104105, Formal System Verification for Trustworthy Embedded Systems. It describes the progress made in formalising a general framework that allows us to prove invariant properties about a ... ... find detects bugs in C/C++ source code by a combination of static analysis techniques with model checking technology. This report will give a brief introduction to source code analysis with Goanna, it describes how the submission to SATE was prepared, the... Web service composition (WSC) offers a range of solutions for rapid creation of complex applications in advanced service-oriented systems by facilitating the composition of already existing concrete web services. One of the critical challenges is the ... Conflict-based diagnosis is the preferred approach to diagnose static systems. We generalize the conflict-based approach to a much larger class of systems and prove the correctness of this generalization. The use of this approach allows to generate ... Purpose and Context This whitepaper arose from interactions between NICTA and several participants of the Australia-Japan Partnership Forum for Re-construction after the Great East Japan Earthquake, July 27-28, 2011 and subsequent site visits including ... In this paper, we propose an analytical method to model the dependency between configuration parameters and total execution time of Map-Reduce applications. Our approach has three key phases: profiling, modeling, and prediction. In profiling, an ... Cloud computing platforms enable elastic resource consumption on a pay-as-you-go basis. This unique elasticity feature of cloud has the prospect to transform the economics of next generation enterprise systems in terms of both cost and performance. While ... ...Phase 1 will allow eventual scaling of the common service above to a National Telehealth Service and will provide advice for the requirements definition of the project. This report was commissioned by the Northern Territory Department of Health We consider the problem of network selection and flow distribution for a multihomed mobile device. We argue the benefits of a holistic approach which considers user- and application-centric metrics such as quality, energy consumption and monetary cost,... |