CSDL - Australasian Computer Science Conference (ACSC

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

Proceedings 24th Australian Computer Science Conference. ACSC 2001 (PDF)

pp. iii

Preface (PDF)

pp. vii

Program Committee (PDF)

pp. viii

Additional Reviewer (PDF)

pp. ix

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)

Dirk Bahle , RMIT University

Hugh E. Williams , RMIT University

Justin Zobel , RMIT University

pp. 11

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

Stephen M. Balckburn , University of Massachusetts

Eliot B. Moss , University of Massachusetts

Richard L. Hudson , Intel Corporation

Ron Morrison , University of St. Andrews

David S. Munro , University of Adelaide

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

Incremental Garbage Collection in Massive Object Stores (Abstract)

Fred Brown , University of Adelaide

pp. 38

Automated Layout of Concept Lattices Using Layered Diagrams and Additive Diagrams (Abstract)

Richard Cole , Griffith University

pp. 47

A Cluster-based Geophysical Template Matching System (Abstract)

Neil Dunstan , University of New England

Stephen Hodgson , University of New England

pp. 54

TRAM: A Tool for Requirements and Architecture Management (Abstract)

Jun Han , Monash University

pp. 60

Inference of Regular Languages using Model Simplicity (Abstract)

Philip Hingston , Edith Cowan University

pp. 69

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

Olivier de Vel , DSTO

pp. 100

Nonmonotonic Reasoning or Adaptive Information Filtering (Abstract)

Raymond Lau , Queensland University of Technology

Arthur H.M. ter Hofstede , Queensland University of Technology

Peter D. Bruza , The University of Queensland

pp. 109

Length-Restricted Coding Using Modified Probability Distributions (Abstract)

Mike Liddell , The University of Melbourne

Alistair Moffat , The University of Melbourne

pp. 117

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

Emilia Mendes , The University of Auckland

Nile Mosley , Auckland University of technology

pp. 125

Proving "no Cliques" in a Protocol (Abstract)

Agathe Merceron , University of Sydney

pp. 134

Efficiency of Data Structures for Detecting Overlaps in Digital Documents (Abstract)

Krisztián Monostori , Monash University

Arkady Zaslavsky , Monash University

Heinz Schmidt , Monash University

pp. 140

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)

Michael Richmond , Macquarie University

James Noble , Victoria University of Wellington

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)

Maolin Tang , Queensland University of Technology

Kamran Eshraghian , Edith Cowan University

Daryoush Habibi , 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)

Jongwook Woo , University of Southern California

Jean-Luc Gaudiot , University of Southern California

Isabelle Attali , INRIA Sophia Antipolis, University of Nice Sophia Antipolis

Denis Caromel , INRIA Sophia Antipolis, University of Nice Sophia Antipolis

Andrew L. Wendelborn , University of Adelaide

pp. 206

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

Yan Zhang , University of Western Sydney, Nepean

Vijay Varadharajan , 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