default search action
24th ACSC 2001: Gold Coast, Queensland, Australia
- 24th Australasian Computer Science Conference (ACSC 2001), 29 January - 1 February 2001, Gold Coast, Queensland, Australia. IEEE Computer Society 2001, ISBN 0-7695-0963-0
- 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 R. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.