31. ACSC 2008: Wollongong, NSW, Australia

Gillian Dobbie, Bernard Mans (Eds.): Computer Science 2008, Thirty-First Australasian Computer Science Conference (ACSC2008), Wollongong, NSW, Australia, January 22-25, 2008. CRPIT 74 Australian Computer Society 2008, ISBN 978-1-920682-55-2

Keynote

Joxan Jaffar:
Constraint Logic Programming for program analysis. 3

Invited papers

Ewan D. Tempero:
On measuring Java software. 7
Benjamin A. Burton:
Informatics olympiads: challenges in programming and algorithm design. 9-13

Contributed papers: operating systems and programming languages

Stijn Dekeyser, Richard Watson, Lasse Motrøen:
A model, schema, and interface for metadata file systems. 17-26
Wayne Reid, Wayne Kelly, Andrew Craik:
Reasoning about inherent parallelism in modern object-oriented languages. 27-36
Wayne Kelly, John Gough:
Ruby.NET: a Ruby compiler for the common language infrastructure. 37-46

Contributed papers: security and communications

Yingpeng Sang, Hong Shen:
Privacy preserving set intersection based on bilinear groups. 47-54
Will Tao, Robert Steele:
A Local Broker enabled MobiPass architecture for enhancing trusted interaction efficiency. 55-61
Stephan Mir, Asad Amir Pirzada, Marius Portmann:
HOVER: hybrid on-demand distance vector routing for wireless mesh networks. 63-71

Contributed papers: algorithms

Moe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede, Marlon Dumas:
Product flow analysis in distribution networks with a fixed time horizon. 73-81
Sofianto Lee, Raymond Lister:
Experiments in the dynamics of phase coupled oscillators when applied to graph colouring. 83-89
Faten Khalil, Jiuyong Li, Hua Wang:
Integrating recommendation models for improved web page prediction accuracy. 91-100
Xiaoxun Sun, Min Li, Hua Wang, Ashley W. Plank:
An efficient hash-based algorithm for minimal k-anonymity. 101-107

Contributed papers: web services

Andrew Cho, Paresh Deva, Ewan D. Tempero:
JWS: a flexible web service. 109-116
Mingfang Wu, Andrew Turpin, Justin Zobel:
An investigation on a community's web search variability. 117-126

Contributed papers: artificial intelligence

Tim Miller, Peter McBurney:
On illegal composition of first-class agent interaction protocols. 127-136
Angel Kennedy, Cara MacNish:
An investigation of the state formation and transition limitations for prediction problems in recurrent neural networks. 137-145
Dongqiang Yang, David M. W. Powers:
Automatic thesaurus construction. 147-156

Contributed papers: formal methods

Colin J. Fidge:
Relative simulation and model checking of real-time processes. 157-165