| 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 |
図書
