The Community for Technology Leaders
Australasian Computer Science Conference (2000)
Canberra, Australia
Jan. 31, 2000 to Feb. 3, 2000
ISBN: 0-7695-0518-X
TABLE OF CONTENTS

Preface (PDF)

pp. vii

Program Committee (PDF)

pp. viii

Referees (PDF)

pp. ix

Semantic Modeling for Video Content-Based Retrieval Systems (Abstract)

Lilac A.E. Al Safadi , University of Wollongong
Janusz R. Getta , University of Wollongong
pp. 2

Exposing Memory Mapped I/O Using NFS (Abstract)

Fred Brown , University of Adelaide
pp. 17

Object-Oriented Natural Language Requirements Specification (Abstract)

Barrett R. Bryant , University of Alabama at Birmingham
pp. 24

Refining Logic Programs Using Types (Abstract)

Robert Colvin , University of Queensland
Ian Hayes , University of Queensland
Paul Strooper , University of Queensland
pp. 43

Formalization of Transformation-Based Learning (Abstract)

James R. Curran , University of Sydney
Raymond K. Wong , University of Sydney
pp. 51

Software Engineering Despite Object-Orientation (Abstract)

Mark Evered , University of New England
Gisela Menger , University of Ulm
J. Leslie Keedy , University of Ulm
Axel Schmolitzky , Monash University
pp. 66

Indicators of Performance in First-year Computing (Abstract)

Annegret Goold , Deakin University
Russell Rimmer , Deakin University
pp. 74

Parameter Passing for the Java Virtual Machine (Abstract)

K John Gough , Queensland University of Technology
pp. 81

Transforming Communication Skills Instruction: The Conference Approach (Abstract)

Paul Gruba , University of Melbourne
Harald Sondergaard , University of Melbourne
pp. 88

Refining Edge Detection within Spiral Architecture (Abstract)

Xiangjian He , University of Technology at Sydney
Tom Hintz , University of Technology at Sydney
pp. 113

Type Classes in Mercury (Abstract)

David Jeffery , University of Melbourne
Fergus Henderson , University of Melbourne
Zoltan Somogyi , University of Melbourne
pp. 128

Teaching a Capstone Subject in Computing Science ? A Variety Engineering Approach (Abstract)

Brian Lederer , University of Technology at Sydney
Valentina Plekhanova , University of Technology at Sydney
C. Barry Jay , University of Technology at Sydney
pp. 136

A Model of Persistent Software Composition (Abstract)

Kevin C.F. Lew , University of Adelaide
Alfred L. Brown , University of Adelaide
pp. 143

Towards Certificate Verification in a Certificate Management System (Abstract)

Chuchang Liu , Defense Science and Technology Organization
Maris A. Ozols , Defense Science and Technology Organization
Marie Henderson , Defense Science and Technology Organization
Tony Cant , Defense Science and Technology Organization
pp. 150

Building Hybrid Knowledge Representations from Text (Abstract)

Josef Meyer , Macquarie University
Robert Dale , Macquarie University
pp. 158

A Three-Valued Declarative Debugging Scheme (Abstract)

Lee Naish , University of Melbourne
pp. 166

A Three-Valued Semantic for Horn Clause Programs (Abstract)

Lee Naish , University of Melbourne
pp. 174

Conglomeration ? Realizing Alias Protection (Abstract)

John Potter , University of New South Wales
James Noble , Victoria University of Wellington
pp. 189

An Implementation of Propositional Plausible Logic (Abstract)

Andrew Rock , Griffith University
David Billington , Griffith University
pp. 204

Developing Middleware for Web-Aware Systems: Lessons Learned (Abstract)

Nikola B. Serbedzija , University of Technology at Sydney
pp. 211

Inductive Concept Learning in the Absence of Labeled Counter-Examples (Abstract)

Andrew Skabar , University of Ballarat
Kousick Biswas , University of Ballarat
Binh Pham , University of Ballarat
Anthony Maeder , Queensland University of Technology
pp. 220

Stepwise Development from Ideal Specifications (Abstract)

Graeme Smith , University of Queensland
pp. 227

Result Fusion in Multi-Agent Systems Based on OWA Operator (Abstract)

Zili Zhang , Deakin University
Chengqi Zhang , Deakin University
pp. 234

Author Index (PDF)

pp. 249
82 ms
(Ver 3.1 (10032016))