The Community for Technology Leaders
Australasian Computer Science Conference (2001)
Gold Coast, Queensland, Australia
Jan. 29, 2001 to Feb. 2, 2001
ISSN: 1530-0900
ISBN: 0-7695-0963-0
TABLE OF CONTENTS

Preface (PDF)

pp. vii

Program Committee (PDF)

pp. viii

A New Approach to Collaborative Frameworks using Shared Objects (Abstract)

Aaron Ceglar , Flinders University of South Australia
Paul Calder , Flinders University of South Australia
pp. 3

Optimised Phrase Querying and Browsing of Large Text Databases (Abstract)

Justin Zobel , RMIT University
Hugh E. Williams , RMIT University
Dirk Bahle , RMIT University
pp. 11

Starting with Termination: A Methodology for Building Distributed Garbage Collection Algorithms (Abstract)

Richard L. Hudson , Intel Corporation
Stephen M. Balckburn , University of Massachusetts
David S. Munro , University of Adelaide
Ron Morrison , University of St. Andrews
Eliot B. Moss , University of Massachusetts
John Zigman , Australian National University
pp. 20

Petri Net Script: A Visual Language for Describing Action, Behaviour and Plot (Abstract)

Leon Blackwell , Curtin University of Technology
Brian von Konsky , Curtin University of Technology
Mike Robey , Curtin University of Technology
pp. 29

A Cluster-based Geophysical Template Matching System (Abstract)

Neil Dunstan , University of New England
Stephen Hodgson , University of New England
pp. 54

Large Scale Experiments on Correction of Confused Words (Abstract)

Jin Hu Huang , The Flinders University of South Australia
David Powers , The Flinders University of South Australia
pp. 77

Systematically Deriving Partial Oracles for Testing Concurrent Programs (Abstract)

Chris Hunter , The University of Queensland
Paul Strooper , The University of Queensland
pp. 83

Word-Based Block-Sorting Text Compression (Abstract)

Y. Isal , The University of Melbourne
A. Moffat , The University of Melbourne
pp. 92

An Inference Implementation Based on Extended Weighted Finite Automata (Abstract)

Zhuhan Jiang , University of New England
Bruce Litow , School of Information Technology
pp. 100

Nonmonotonic Reasoning or Adaptive Information Filtering (Abstract)

Raymond Lau , Queensland University of Technology
Peter D. Bruza , The University of Queensland
Arthur H.M. ter Hofstede , Queensland University of Technology
pp. 109

Length-Restricted Coding Using Modified Probability Distributions (Abstract)

Alistair Moffat , The University of Melbourne
Mike Liddell , The University of Melbourne
pp. 117

Comparing Effort Prediction Models for Web Design and Authoring Using Boxplots (Abstract)

Nile Mosley , Auckland University of technology
Emilia Mendes , The University of Auckland
pp. 125

Proving "no Cliques" in a Protocol (Abstract)

Agathe Merceron , University of Sydney
pp. 134

The Design and Implementation of a Progressive On-demand Image Dissemination System for Very Large Images (Abstract)

Michael J. Owen , Defence Science and Technology Organisation, Department of Defence
Edward H.S. Lo , Defence Science and Technology Organisation, Department of Defence
Mark W. Grigg , Defence Science and Technology Organisation, Department of Defence
Andrew K. Lui , Open University of Hong Kong
pp. 148

Polymorphic CSP Type Checking (Abstract)

Ping Gao , Adelaide University
Robert Esser , Adelaide University
pp. 156

Reflections on Remote Reflection (Abstract)

James Noble , Victoria University of Wellington
Michael Richmond , Macquarie University
pp. 163

The Derivation of Functional Equivalents of Imperative Programs (Abstract)

Graham H.B. Roberts , The Flinders University of South Australia
pp. 171

Making the DDA Run: Two-Dimensional Ray Traversal Using Runs and Runs of Runs (Abstract)

Peter Stephenson , Fraunhofer Center for Research in Computer Graphics
Bruce Litow , James Cook University of North Queensland
pp. 177

Knowledge-based Genetic Algorithm for Layer Assignment (Abstract)

Daryoush Habibi , Edith Cowan University
Maolin Tang , Queensland University of Technology
Kamran Eshraghian , Edith Cowan University
pp. 184

Untraceable Off-line Electronic Cash Flow in E-Commerce (Abstract)

H. Wang , University of Southern Queensland
Y. Zhang , University of Southern Queensland
pp. 191

An Approach to Secure Distribution of Web-Based Training Courses (Abstract)

Edgar Weippl , Software Competence Center Hagenberg
pp. 199

Alias Analysis On Type Inference For Class Hierarchy In Java (Abstract)

Isabelle Attali , INRIA Sophia Antipolis, University of Nice Sophia Antipolis
Jongwook Woo , University of Southern California
Denis Caromel , INRIA Sophia Antipolis, University of Nice Sophia Antipolis
Jean-Luc Gaudiot , University of Southern California
Andrew L. Wendelborn , University of Adelaide
pp. 206

A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols (Abstract)

Vijay Varadharajan , University of Western Sydney, Nepean
Yan Zhang , University of Western Sydney, Nepean
pp. 215

Fast Handover in Clustered Wireless ATM (Abstract)

Weiping Zhu , University of New South Wales
Jaga Indulska , The University of Queensland
pp. 223

Author Index (PDF)

pp. 230
87 ms
(Ver 3.1 (10032016))