Abstract is missing.
- A New Approach to Collaborative Frameworks using Shared ObjectsAaron Ceglar, Paul R. Calder. 3-10 [doi]
- Optimised Phrase Querying and Browsing of Large Text DatabasesDirk Bahle, Hugh E. Williams, Justin Zobel. 11-19 [doi]
- Starting with Termination: A Methodology for Building Distributed Garbage Collection AlgorithmsStephen M. Blackburn, J. Eliot B. Moss, Richard L. Hudson, Ronald Morrison, David S. Munro, John N. Zigman. 20-28 [doi]
- Petri Net Script: A Visual Language for Describing Action, Behaviour and PlotLeon Blackwell, Brian R. von Konsky, Mike Robey. 29-37 [doi]
- Incremental Garbage Collection in Massive Object StoresFred Brown. 38-46 [doi]
- Automated Layout of Concept Lattices Using Layered Diagrams and Additive DiagramsRichard Cole. 47-53 [doi]
- A Cluster-based Geophysical Template Matching SystemNeil Dunstan, Stephen Hodgson. 54-59 [doi]
- TRAM: A Tool for Requirements and Architecture ManagementJun Han. 60-68 [doi]
- Inference of Regular Languages using Model SimplicityPhilip Hingston. 69-76 [doi]
- Large Scale Experiments on Correction of Confused WordsJin Hu Huang, David M. W. Powers. 77-82 [doi]
- Systematically Deriving Partial Oracles for Testing Concurrent ProgramsChris Hunter, Paul A. Strooper. 83-91 [doi]
- Word-Based Block-Sorting Text CompressionR. Yugo Kartono Isal, Alistair Moffat. 92-99 [doi]
- An Inference Implementation Based on Extended Weighted Finite AutomataZhuhan Jiang, Bruce E. Litow, Olivier Y. de Vel. 100-108 [doi]
- Nonmonotonic Reasoning or Adaptive Information FilteringRaymond Lau, Arthur H. M. ter Hofstede, Peter Bruza. 109-116 [doi]
- Length-Restricted Coding Using Modified Probability DistributionsMike Liddell, Alistair Moffat. 117-124 [doi]
- Comparing Effort Prediction Models for Web Design and Authoring Using BoxplotsEmilia Mendes, Nile Mosley. 125-133 [doi]
- Proving no Cliques in a ProtocolAgathe Merceron. 134-139 [doi]
- Efficiency of Data Structures for Detecting Overlaps in Digital DocumentsKrisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt. 140-147 [doi]
- The Design and Implementation of a Progressive On-demand Image Dissemination System for Very Large ImagesMichael J. Owen, Edward H. S. Lo, Mark W. Grigg, Andrew K. Lui. 148-155 [doi]
- Polymorphic CSP Type CheckingPing Gao, Robert Esser. 156-162 [doi]
- Reflections on Remote ReflectionMichael Richmond, James Noble. 163-170 [doi]
- The Derivation of Functional Equivalents of Imperative ProgramsGraham H. B. Roberts. 171-176 [doi]
- Making the DDA Run: Two-Dimensional Ray Traversal Using Runs and Runs of RunsPeter Stephenson, Bruce E. Litow. 177-183 [doi]
- Knowledge-based Genetic Algorithm for Layer AssignmentMaolin Tang, Kamran Eshraghian, Daryoush Habibi. 184-190 [doi]
- Untraceable Off-line Electronic Cash Flow in E-CommerceHua Wang, Yanchuan Zhang. 191-198 [doi]
- An Approach to Secure Distribution of Web-Based Training CoursesEdgar Weippl. 199-205 [doi]
- Alias Analysis On Type Inference For Class Hierarchy In JavaJongwook Woo, Jean-Luc Gaudiot, Isabelle Attali, Denis Caromel, Andrew L. Wendelborn. 206-214 [doi]
- A Logic for Modeling the Dynamics of Beliefs in Cryptographic ProtocolsYan Zhang, Vijay Varadharajan. 215-222 [doi]
- Fast Handover in Clustered Wireless ATMWeiping Zhu, Jadwiga Indulska. 223-229 [doi]