Invited Talks |
Trends in Theory |
Quantum Challenges / Jozef Gruska |
Stability of Approximation Algorithms for Hard Optimization Problems / Juraj Hromkovic |
Algorithms on Compressed Strings and Arrays / Wojciech Rytter |
Core Technologies |
WWW Based Collaboration with the BSCW System / Wolfgang Appelt |
Middleware and Quality of Service / Christian Bac ; Guy Bernard ; Didier Le Tien ; Olivier Villin |
Dynamic Reconfiguration of CORBA-Based Applications / Noemi Rodriguez ; Roberto Ierusalimschy |
Fast, Error Correcting Parser Combinators: A Short Tutorial / S. Doaitse Swierstra ; Pablo R. Azero Alcocer |
IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications / Ghica van Emde Boas |
Software and Information Engineering |
Databases and the World Wide Web / Paolo Atzeni |
Exploiting Formality in Software Engineering / Juan C. Bicarregui |
Biomolecular Computing and Programming (Extended Abstract) / Max H. Garzon ; Russell J. Deaton ; The Molecular Computing Group |
Software Change and Evolution / Vaclav Rajlich |
Distributed Simulation with Cellular Automata: Architecture and Applications / P. M. A. Sloot ; J. A. Kaandorp ; A. G. Hoekstra ; B. J. Overeinder |
From Data to Knowledge |
Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors / Alejandro P. Buchmann ; Ming-Chuan Wu |
On Interactive Computation: Intelligent Tutoring Systems (Extended Abstract) / The Tutoring Research Group |
Coherent Concepts, Robust Learning / Dan Roth ; Dmitry Zelenko |
Applications |
Application of Artificial Neural Networks for Different Engineering Problems / Martin Bogdan ; Wolfgang Rosenstiel |
Factor Oracle: A New Structure for Pattern Matching / Cyril Allauzen ; Maxime Crochemore ; Mathieu Raffinot |
Principles of Forecasting- A Short Overview / Emil Pelikán |
Contributed Papers |
UPV-Curry: An Incremental Curry Interpreter / M. Alpuente ; S. Escobar ; S. Lucas |
Quantum Finite Multitape Automata / Andris Ambainis ; Richard Bonner ; RusinÜ Freivalds ; Marats Golovkins ; Marek Karpinski |
Decomposable Bulk Synchronous Parallel Computers / Martin Beran |
Component Change and Version Identification in SOFA / Premysl Brada |
Pattern Equations and Equations with Stuttering / Ivana Cerna ; Ondrej Klima ; Jiri Srba |
Garbage Collection for Mobile and Replicated Objects / Pablo Galdámez ; Francesc D. Muñoz-Escoà ; José M. Bernabéu-Aubán |
Randomized Gossiping by Packets in Faulty Networks / Anna Gambin ; Adam Malinowski |
Object-Oriented Specification with the Parallel Multi-Label-Selective ?-calculus / Carlos Herrero ; Javier Oliver |
Simulation Problems for One-Counter Machines / Petr Jancar ; Faron Moller ; Zdenek Sawa |
On Semantics of Petri Nets over Partial Algebra / Gabriel Juhás |
Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals / Ivan Kramosil |
Quantum Finite One-Counter Automata / Maksim Kravtsev |
A Performance Comparison of Mobile Agents and RPC / David Rutter |
Cyclic Cutwidth of the Mesh / Heiko Schroder ; Ondrej Sýkora ; Imrich Vrt'o |
Some Afterthoughts on Hopfield NetworksJiri Sima / Pekka Orponen ; Teemu Antti-Poika |
A Persistent-Set Approach to Abstract State-Space Construction in Verification / Ulrich Ultes-Nitsche |
Computational Power of Neuroidal Nets / Jiri Wiedermann |
Cellular Automata with Dynamically Reconfigurable Buses / Thomas Worsch |
Author Index |
Invited Talks |
Trends in Theory |
Quantum Challenges / Jozef Gruska |