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. Australian Computer Society 2008 CRPIT 74 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
Contributed papers: security and communications
- 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
- 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
Contributed papers: formal methods
- Colin J. Fidge: Relative simulation and model checking of real-time processes. 157-165
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team