Conferences in Research and Practice in Information Technology Volume 74 Computer Science 2008 Australian Computer Science Communications, Volume 30, Number 1 Computer Science 2008 Proceedings of the Thirty-First Australasian Computer Science Conference (ACSC 2008), Wollongong, NSW, Australia, January 2008 Gillian Dobbie and Bernard Mans, Eds. Volume 74 in the Conferences in Research and Practice in Information Technology Series. Published by the Australian Computer Society Inc. acm Published in association with the ACM Digital Library. iii Computer Science 2008. Proceedings of the Thirty-First Australasian Computer Science Conference (ACSC 2008), Wollongong, NSW, Australia, January 2008 Conferences in Research and Practice in Information Technology, Volume 74. Copyright c 2007, Australian Computer Society. Reproduction for academic, not-for-profit purposes permitted provided the! copyright text at the foot of the first page of each paper is included. Editors: Gillian Dobbie Department of Computer Science The University of Auckland Private Bag 92019 Auckland, New Zealand Email: [email protected] Bernard Mans Department of Computing Division of Information and Communication Sciences Macquarie University Sydney, NSW 2109 Australia Email: [email protected] Series Editors: Vladimir Estivill-Castro, Griffith University, Queensland John F. Roddick, Flinders University, South Australia Simeon Simoff, University of Technology, Sydney, NSW [email protected] Publisher: Australian Computer Society Inc. PO Box Q534, QVB Post Office Sydney 1230 New South Wales Australia. Conferences in Research and Practice in Information Technology, Volume 74 ISSN 1445-1336 ISBN 978-1-920682-55-2 Printed December 2007 by Flinders Press, PO Box 2100, Bedford Park, SA 5042, South Australia. Cover Design by Modern Planet Design, (08) 8340 1361. The Conferences in Research and Practice in Information Technology series aims to disseminate the results of peer-reviewed research in all areas of Information Technology. Further details can be found at http://crpit.com/. iv Table of Contents Proceedings of the Thirty-First Australasian Computer Science Conference (ACSC 2008), Wollongong, NSW, Australia, January 2008 Preface ................................................................................ vii Programme Committee ............................................................. viii Organising Committee .............................................................. ix CORE - Computing Research and Education ................................... xi ACSW Conferences and the Australian Computer Science Communications .................................................................. xii ACSW and ACSC 2008 Sponsors ................................................. xv Keynote Constraint Logic Programming for Program Analysis .......................................... 3 Joxan Jaffar Invited Papers On Measuring Java Software ............................................................... 7 Ewan Tempero Informatics Olympiads: Challenges in Programming and Algorithm Design ....................... 9 Benjamin A. Burton Contributed Papers Operating Systems and Programming Languages Towards a Definition and Model for Metadata File Systems .................................... 17 Stijn Dekeyser, Richard Watson and Lasse Motrøen Reasoning about Data Parallelism in Modern Object-Oriented Languages ........................ 27 Wayne Reid, Wayne Kelly and Andrew Craik Compiling Ruby on the CLR ............................................................... 37 Wayne Kelly and John Gough Security and Communications Privacy Preserving Set Intersection Protocol Based on Bilinear Group ........................... 47 Yingpeng Sang and Hong Shen A Local Broker Enabled MobiPass Architecture for Enhancing Trusted Interaction Efficiency ....... 55 Will Tao and Robert Steele HOVER: Hybrid On-demand Distance Vector Routing for Wireless Mesh Networks ................ 63 Stephan Mir, Asad Pirzada and Marius Portmann Algorithms Product Flow Analysis in Distribution Networks with a Fixed Time Horizon ..................... 73 M.T. Wynn, C.J. Fidge, A.H.M. ter Hofstede and M. Dumas Experiments in the Dynamics of Phase Coupled Oscillators When Applied to Graph Colouring ..... 83 Sofianto Lee and Raymond Lister Integrating Recommendation Models for Improved Web page prediction accuracy ................. 91 Faten Khalil, Jiuyong Li and Hua Wang An efficient hash-based algorithm for minimal k-anonymity ..................................... 101 Xiaoxun Sun, Min Li, Hua Wang and Ashley Plank Web Services JWS: A Flexible Web Service ............................................................... 109 Andrew Cho, Paresh Deva and Ewan Tempero An Investigation on a Community’s Web Search Variability .................................... 117 Mingfang Wu, Andrew Turpin and Justin Zobel Artificial Intelligence On Illegal Composition of First-Class Agent Interaction Protocols ............................... 127 Tim Miller and Peter McBurney An Investigation of the State Formation and Transition Limitations for Prediction Problems in Re- current Neural Networks ................................................................... 137 Angel Kennedy and Cara MacNish Automatic Thesaurus Construction.......................................................... 147 Dongqiang Yang and David M. Powers Formal Methods Relative Simulation and Model Checking of Real-Time Processes, ............................... 157 Colin Fidge Author Index ........................................................................ 167 vi Preface The Australasian Computer Science Conference (ACSC) series is an annual forum, bringing together re- search sub-disciplines in Computer Science. The meeting allows academics and researchers to discuss re- search topics as well as progress in the field, and policies to stimulate its growth. This volume contains papers presented at the Thirty First ACSC in Wollongong, NSW, Australia. ACSC 2008 is part of the Australasian Computer Science Week which ran from Jan 22nd to 25th, 2008. The ACSC 2008 call for papers solicited contributions in all areas of computer science research. This years conference received submissions from Australia, New Zealand, China, France, India, Iran, Jamaica, Jordon, Malaysia, Pakistan, South Africa, Turkey, UK, and Taiwan. The topics addressed by the submitted papers illustrate the broadness of the discipline. The authors categorised their submissions into one or more of the following topics: - Algorithms (9 papers) - Object Oriented Systems (3 papers) - Artificial Intelligence (7 papers) - Ontologies (1 paper) - Communications and Networks (4 papers) - Operating Systems (5 papers) - Computer Architecture (2 paper) - Programming Languages (4 papers) - Computer Vision (4 papers) - Robotics (1 paper) - Databases (5 papers) - Scientific Computing (5 papers) - Distributed Systems (6 papers) - Security and Trusted Systems (5 papers) - E-Commerce (4 papers) - Simulation (6 papers) - Formal Methods (6 papers) - Software Engineering (5 papers) - Graphics (6 papers) - Speech (1 paper) - High Performance Computing (7 papers) - Theory (3 papers) - Human-Computer Interaction (8 papers) - Visualization (6 papers) - Mobile Computing (6 papers) - Web Services (3 papers) - Multimedia (1 paper) The programme committee consisted of 28 highly regarded academics from around the globe, including Australia, Brazil, Canada, Japan, New Zealand, Singapore and USA. All papers were sent to at least three programme committee members for review and every effort was made to obtain at least three reviews. Of the 47 papers submitted, 16 were selected for presentation at the conference. The programme committee invited Professor Joxan Jaffar, to give a keynote on Constraint Logic Pro- gramming for Program Analysis. Professor Jaffar has recently completed a stint as Dean of the School of Computing from 2001-2007 at the National University of Singapore. His interests are in programming languages and applications, with emphasis on the logic and constraint programming paradigms. Amongst his main contributions are the principles of constraint logic programming, and the widely-used CLP(R) system. The committee also invited Dr Benjamin Burton and Associate Professor Ewan Tempero to give in- vited talks. Dr Burtons talk was entitled Informatics Olympiads:Challenges in Programming and Algorithm Design. Associate Professor Temperos talk is entitled On Measuring Java Software. We thank all authors who submitted papers and all conference participants for helping to make the conference a success. We also thank the members of the programme committee and the external referees for their expertise in carefully reviewing the papers. We are grateful to Professor John Roddick for his assistance in the production of the proceedings and Sharon Liu for her work in managing the reviewing system and processes. We thank Professor Jenny Edwards for her support as the President of CORE (Computing Research and Education Association of Australasia). Last, we express our gratitude to our hosts in Wollongong. Gillian Dobbie University of Auckland Bernard Mans Macquarie University ACSC 2008 Programme Chairs January 2008 vii Programme Committee Chairs Gillian Dobbie, University of Auckland, New Zealand Bernard Mans, Macquarie University, Australia Members : Hussein A. Abbass, UNSW@ADFA, Australia Michael H. Albert, University of Otago, New Zealand Stephane Bressan, National University of Singapore, Singapore Andrew P. Bernat Computing Research