CSDL - Proceedings A

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

PDF

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

PDF

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

PDF

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

PDF

Incremental Garbage Collection in Massive Object Stores (Abstract)

Fred Brown, University of Adelaide

pp. 38

PDF

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

Richard Cole, Griffith University

pp. 47

PDF

A Cluster-based Geophysical Template Matching System (Abstract)

Neil Dunstan, University of New England

Stephen Hodgson, University of New England

pp. 54

PDF

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

Jun Han, Monash University

pp. 60

PDF

Inference of Regular Languages using Model Simplicity (Abstract)

Philip Hingston, Edith Cowan University

pp. 69

PDF

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

PDF

Systematically Deriving Partial Oracles for Testing Concurrent Programs (Abstract)

Chris Hunter, The University of Queensland

Paul Strooper, The University of Queensland

pp. 83

PDF

Word-Based Block-Sorting Text Compression (Abstract)

Y. Isal, The University of Melbourne

A. Moffat, The University of Melbourne

pp. 92

PDF

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

PDF

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

PDF

Length-Restricted Coding Using Modified Probability Distributions (Abstract)

Mike Liddell, The University of Melbourne

Alistair Moffat, The University of Melbourne

pp. 117

PDF

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

PDF

Proving "no Cliques" in a Protocol (Abstract)

Agathe Merceron, University of Sydney

pp. 134

PDF

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

PDF

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

PDF

Polymorphic CSP Type Checking (Abstract)

Ping Gao, Adelaide University

Robert Esser, Adelaide University

pp. 156

PDF

Reflections on Remote Reflection (Abstract)

Michael Richmond, Macquarie University

James Noble, Victoria University of Wellington

pp. 163

PDF

The Derivation of Functional Equivalents of Imperative Programs (Abstract)

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

pp. 171

PDF

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

PDF

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

PDF

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

H. Wang, University of Southern Queensland

Y. Zhang, University of Southern Queensland

pp. 191

PDF

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

Edgar Weippl, Software Competence Center Hagenberg

pp. 199

PDF

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

PDF

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

PDF

Fast Handover in Clustered Wireless ATM (Abstract)

Weiping Zhu, University of New South Wales

Jaga Indulska, The University of Queensland

pp. 223

PDF

Author Index (PDF)

pp. 230