24. ACSC 2001: Gold Coast, Queensland, Australia

@proceedings{DBLP:conf/acsc/2001,
  title     = {24th Australasian Computer Science Conference (ACSC 2001), 29
               January - 1 February 2001, Gold Coast, Queensland, Australia},
  booktitle = {ACSC},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-0963-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Aaron Ceglar, Paul R. Calder:
  A New Approach to Collaborative Frameworks using Shared Objects. 3-10
  
• Dirk Bahle, Hugh E. Williams, Justin Zobel:
  Optimised Phrase Querying and Browsing of Large Text Databases. 11-19
  
• Stephen M. Blackburn, J. Eliot B. Moss, Richard L. Hudson, Ronald Morrison, David S. Munro, John N. Zigman:
  Starting with Termination: A Methodology for Building Distributed Garbage Collection Algorithms. 20-28
  
• Leon Blackwell, Brian R. von Konsky, Mike Robey:
  Petri Net Script: A Visual Language for Describing Action, Behaviour and Plot. 29-37
  
• Fred Brown:
  Incremental Garbage Collection in Massive Object Stores. 38-46
  
• Richard Cole:
  Automated Layout of Concept Lattices Using Layered Diagrams and Additive Diagrams. 47-53
  
• Neil Dunstan, Stephen Hodgson:
  A Cluster-based Geophysical Template Matching System. 54-59
  
• Jun Han:
  TRAM: A Tool for Requirements and Architecture Management. 60-68
  
• Philip Hingston:
  Inference of Regular Languages using Model Simplicity. 69-76
  
• Jin Hu Huang, David M. W. Powers:
  Large Scale Experiments on Correction of Confused Words. 77-82
  
• Chris Hunter, Paul A. Strooper:
  Systematically Deriving Partial Oracles for Testing Concurrent Programs. 83-91
  
• R. Yugo Kartono Isal, Alistair Moffat:
  Word-Based Block-Sorting Text Compression. 92-99
  
• Zhuhan Jiang, Bruce E. Litow, Olivier Y. de Vel:
  An Inference Implementation Based on Extended Weighted Finite Automata. 100-108
  
• Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza:
  Nonmonotonic Reasoning or Adaptive Information Filtering. 109-116
  
• Mike Liddell, Alistair Moffat:
  Length-Restricted Coding Using Modified Probability Distributions. 117-124
  
• Emilia Mendes, Nile Mosley:
  Comparing Effort Prediction Models for Web Design and Authoring Using Boxplots. 125-133
  
• Agathe Merceron:
  Proving "no Cliques" in a Protocol. 134-139
  
• Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
  Efficiency of Data Structures for Detecting Overlaps in Digital Documents. 140-147
  
• Michael J. Owen, Edward H. S. Lo, Mark W. Grigg, Andrew K. Lui:
  The Design and Implementation of a Progressive On-demand Image Dissemination System for Very Large Images. 148-155
  
• Ping Gao, Robert Esser:
  Polymorphic CSP Type Checking. 156-162
  
• Michael Richmond, James Noble:
  Reflections on Remote Reflection. 163-170
  
• Graham H. B. Roberts:
  The Derivation of Functional Equivalents of Imperative Programs. 171-176
  
• Peter Stephenson, Bruce E. Litow:
  Making the DDA Run: Two-Dimensional Ray Traversal Using Runs and Runs of Runs. 177-183
  
• Maolin Tang, Kamran Eshraghian, Daryoush Habibi:
  Knowledge-based Genetic Algorithm for Layer Assignment. 184-190
  
• Hua Wang, Yanchuan Zhang:
  Untraceable Off-line Electronic Cash Flow in E-Commerce. 191-198
  
• Edgar Weippl:
  An Approach to Secure Distribution of Web-Based Training Courses. 199-205
  
• Jongwook Woo, Jean-Luc Gaudiot, Isabelle Attali, Denis Caromel, Andrew L. Wendelborn:
  Alias Analysis On Type Inference For Class Hierarchy In Java. 206-214
  
• Yan Zhang, Vijay Varadharajan:
  A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols. 215-222
  
• Weiping Zhu, Jadwiga Indulska:
  Fast Handover in Clustered Wireless ATM. 223-229
  

Last update Mon May 21 02:19:47 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page