| Introduction | p. 1 |
| Historical Overview | p. 3 |
| Applying Genetic Algorithms to the Load-Balancing Problem | p. 7 |
| Parallel Update and Search in Skip Lists | p. 15 |
| Asymptotic Probabilistic Analysis of an Algorithm for Addition Subtraction Chains | p. 27 |
| Graph Clustering and Caching | p. 37 |
| A Comparison of Algorithms for the Triangulation Refinement Problem | p. 47 |
| Prime Length Symmetric FFTs and Their Computer Implementations | p. 57 |
| Obtaining Intrinsic Shape Properties with a Disparity-Based Photometric Stereo | p. 67 |
| Finding the Safest One-Dimensional Path among Obstacles for the Acceleration Constrained Robot | p. 75 |
| An Optimized External Sort Algorithm | p. 89 |
| Use of Genetic Algorithms to Optimize the Cost of Automotive Wire Harnesses | p. 103 |
| Hybrid Information Systems: Integrating Data and Knowledge Management | p. 119 |
| A Semantic Data Model Approach for the Prototyping of Information Systems | p. 131 |
| A Temporal Logic Language for Temporal Conditions Definition | p. 145 |
| Multimedia Object Management in an O-O Database Environment | p. 161 |
| Database Schema Design: The Contribution of Natural Language Techniques | p. 183 |
| Modelling Geographic Information Systems Using an Object-Oriented Framework | p. 199 |
| The Role of Object Technology in Distributed Systems | p. 215 |
| Analysis and Control of Computer Systems Distributed in Local Networks | p. 225 |
| Garbage Collection in Distributed EZ | p. 243 |
| A Design System for Massively Parallel Hardware | p. 253 |
| A Collision Resolution Algorithm for Random Access Channels Using Multiple Transmission Levels | p. 269 |
| Methodology for the Life Cycle Development of Enterprise Networks | p. 281 |
| Channel Routing in the Knock-knee Diagonal Model | p. 305 |
| Inheritance and Recognition in the Cumulative Typed System for Knowledge Representation SC | p. 317 |
| Making Argument Systems Computationally Attractive: Argument Construction and Maintenance | p. 327 |
| Lexical Error Correction Using Contextual Linguistic Expectations | p. 337 |
| Equilibration and Belief Revision: Strategies for Cooperative Tutoring and Learning | p. 347 |
| Metacontrol of a Traffic Simulator Using Situation Semantics | p. 359 |
| Abductive Inference of Plans and Intentions in Information Seeking Dialogues | p. 377 |
| Cognitive Maps as Human Computer Interface Design Tools for Learning | p. 387 |
| On Observational Equivalence and Relational Semantics | p. 399 |
| Analysis of General Refined Petri Boxes | p. 411 |
| Event Modeling with Petri Nets: A Survey and Discussion | p. 429 |
| Morphisms to Preserve Structural Properties of Petri Nets | p. 439 |
| Studying the Behaviour of Petri Nets through a Formalization as Term Rewriting Systems | p. 455 |
| The Management of a Cooperative Environment | p. 469 |
| Combining Instance and Class-Based Descriptions in Hypermedia Authoring | p. 479 |
| How Programming Can Be Visualized: A Practical Approach | p. 491 |
| A Process Model to Transform Evaluation from Human Review to Automatic Measurement | p. 513 |
| Planning Methodology of Information Systems under Cooperative Design | p. 521 |
| Pacific: A Programming Language Based on the Idea of Natural Naming | p. 529 |
| Evaluation of Logic Programs in a Relational Language | p. 541 |
| A Synthetic Approach to Object Oriented Analysis | p. 553 |
| Graphical Animation of LOTOS Specifications | p. 567 |
| Integrated-Specifications Analysis | p. 579 |
| Author Index | p. 593 |
| Subject Index | p. 595 |
| Table of Contents provided by Blackwell. All Rights Reserved. |
