Abstract is missing.
- A Unified View to String Matching AlgorithmsRicardo A. Baeza-Yates. 1-15
- Communication in Parallel SystemsFriedhelm Meyer auf der Heide, Christian Scheideler. 16-33
- An Overview of the Tigger Object-Support Operating System FrameworkVinny Cahill. 34-55
- The Arias Distributed Shared Memory: An OverviewPascal Dechamboux, Daniel Hagimont, Jacques Mossière, Xavier Rousset de Pina. 56-73
- CORBA and Object ServicesJan Kleindienst, Frantisek Plasil, Petr Tuma. 74-93
- Decision-Theoretic Reasoning and the Human-Computer Interface: Advances in Embedded Intelligent Agents (abstract)Eric Horvitz. 94
- Probabilistic Approaches to Motion PlanningMark H. Overmars, Petr Svestka. 95-112
- Learning in Order to Reason: The ApproachDan Roth. 113-124
- Database Semantics in Heterogenous EnvironmentJaroslav Pokorný. 125-142
- Business Case Processing - Rationale, Survey and TrendsKenneth Robinson, Damian Mac Randal. 143-160
- Data Mining and the KESO ProjectArno Siebes. 161-177
- Computer Visualization - Concepts, Trends and Current ResearchGitta Domik. 178-196
- High Performance Computing - The Computational Chemistry PerspectiveLudek Matyska. 197-216
- Iterative Methods for Unsymmetric Linear SystemsHenk A. van der Vorst. 217-234
- Core Technologies for System RenovationMark G. J. van den Brand, Paul Klint, Chris Verhoef. 235-254
- Trends in Game Tree SearchArie de Bruin, Wim Pijls. 255-274
- A Visual Approach to VDMJeremy Dick, Jérôme Loubersac. 275-284
- Statecharts: Past, Present and Future (abstract)David Harel. 285
- Scalable Fault ToleranceShay Kutten. 286-306
- A Deductive Database Support to the Specification of Concurrent SystemsPatrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi. 309-316
- Interprocess Communication in the T4 SystemDavid Bednárek, Petr Merta, David Obdrzálek, Jakub Yaghob, Filip Zavoral. 317-326
- A Formal Representation for State Diagrams in the OMT MethodologyElisa Bertino, Donatella Castelli, Federica Vitale. 327-334
- Feasible Real Random Access MachinesVasco Brattka, Peter Hertling. 335-342
- Temporal Conversion Functions for Multitemporal Relational DatabasesCristina De Castro. 343-350
- An Output Sensitive Solution to the Set Union and Intersection ProblemCarlo Gaibisso, Enrico Nardelli, Guido Proietti. 351-358
- On the Semantics of Multistage Interconnection NetworksAnna Gambin, Slawomir Lasota. 359-368
- Decision Trees, Knowledge Rules and Some Related Data Mining AlgorithmsJia Liang Han. 369-376
- Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial TimeAntonín Kucera. 377-392
- A New Proposal of Concurrent Process CalculusSalvador Lucas, Javier Oliver. 385-392
- On the Specification of Visual Languages: Multisets as First-Class CitizensMassimo Marchiori. 393-400
- Restarting Automata with RewritingFrantisek Mráz, Martin Plátek, Jörg Vogel. 401-408
- On the Role of Orthogonality in the GMRES MethodMiroslav Rozlozník, Z. Strakos, Miroslav Tuma. 409-416
- Efficient Tree Pattern UnificationPeter Ruzicka. 417-424
- A Light-Weight Formalism for the Specification of Reactive SystemsPeter Scholz. 425-432
- Knowledge Discovery in Alarm Data AnalysisJ. Shao. 433-440
- Aunt s Problem: Table RoundingJirí Síma. 441-450
- A Seven-Headed Dragon for Optimal Pattern SearchingIvana Vovsová. 451-458
- Choosing Reference Views for Image-Based RepresentationTomás Werner, Václav Hlavác, Ales Leonardis, Tomás Pajdla. 459-466
- Recognizing Graph Products and BundlesJanez Zerovnik. 467-474
- Genetic Algoriths-Based Creation of Fuzzy-Rule Bases for the Car ControlJan Zizka, Zdenek Kratochvíl. 475-482
- A Transaction Model for Mobile and Active Database SystemsOlaf Zukunft. 483-490