Invited Papers

FUNDAMENTALS

Parallel Machine Models: How They Are and Where Are They Going

J. Wiedermann

Fuzzy Logic From the Logical Point of View

P. Hajek

Sense of Direction in Processor Networks

G. Tel

Welcoming the Super Turing Theories

H. T. Siegelmann

What NARX Networks Can Compute

B. G. Horne

H. T. Siegelmann

C. L. Giles

DATABASES

Database: Introduction to Problems

K. G. Jeffery

Distributed Information Systems

J. Grimson

Extending Database Technology

N. W. Paton

SOFTWARE ENGINEERING

Introducing SSADM4+ and PRINCE

A. J. G. Betts

Formal Methods in Practice: A Comparison of two Support Systems for Proof

J. C. Bicarregui

B. M. Matthews

Development of Safety-Critical Real-Time Systems

H. Rischel

J. Cuellar

S. Mork

A. P. Ravn

I. Wildgruber

Why Use Evolving Algebras for Hardware and Software Engineering?

E. Borger

PARALLEL & DISTRIBUTED SYSTEMS, SCIENTIFIC COMPUTING

Experience with Chorus

C. Bac

G. Bernard

D. Conan

Q. H. Nguyen

C. Taconet

High-Level Languages for Parallel Scientific Computing

B. Chapman

P. Mehrotra

H. P. Zima

MULTIMEDIA, HYPERTEX

On Some New Aspects of Networked Multimedia Systems

H. Maurer

Quo Vadis GIS: From GIS to GIMS and Open GIS

A. Limpouch

K. Charvat

WWW - The World Wide Web

V. A. Marshall

Contributed Papers

Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution

P. Borovansky

A Modular History-Oriented Access Structure for Bitemporal Relational Databases

A. Cappelli

C. De Castro

M. R. Scalas

Software Engineering Meets Human-Computer Interaction: Integrating User Interface Design in an Object-Oriented Methodology

H. -W. Gellersen

Parsing of Free-Word-Order Languages

T. Holan

V. Kubon

M. Platek

Distributed Algorithm for Finding a Core of a Tree Network

E. Jennings

Stepwise Synthesis of Reactive Programs

P. Kozak

A Simple and Efficient Incremental LL(1) Parsing

W. X. Li

Fundamentals of Contex-Sensitive Rewriting

S. Lucas

Constraint Logie Programming with Fuzzy Sets

L. Matyska

H. Bures

Parallel Processing of Image Database Queries

F. Meunier

P. Zemanek

Maximum Flow Problem in Distributed Environment

L. Motyckova

Fuzzy Set Theory and Medical Expert Systems: Survey and Model

N. H. Phuong

The Fusion Object-Oriented Method: an Evaluation

A. Pirotte

T. van den Berghe

E. Zimanyi

Integration of Object-Oriented Analysis and Algebraic Specifications

Z. Repaska

On the Implementation of Some Residual Minimizing Krylov Space Methods

M. Rozloznik

Z. Strakos

A Formal Lazy Replication Regime for Spreading Conversion Functions Over Objectbases

C. Smith

C. A. Tau

Hopfield Languages

J. Sima

Inconsitency Conflict Resolution

J. Stuller

A Methodology for Performance and Scalability Analysis

E. Tambouris

P. van Santen

On the Efficiency of Superscalar and Vector Computer for Some Problems in Scientific Computing

M. Tuma

M. Rozloznik

Logic Programming in RPL and RQL

P. Vojtas

L. Paulik

Recognition of Handwritten Characters Using Instance-Based Learning Algorithms

J. Zizka

I. Snajdarkova

Author Index