SOFSEM '98: Theory and Practice of Informatics 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings

Invited Talks.- Software Architecture for Distributed Reactive Systems.- A Logical Basis for Modular Software and Systems Engineering.- From Quartets to Phylogenetic Trees.- Reuse Methods for Construction of Parallel Software.- Compiling Horn-Clause Rules in IBM’s Business System 12 an Early Experiment in Declarativeness.- Models of Computation, Riemann Hypothesis, and Classical Mathematics.- Security of Electronic Money.- Algorithms Based on Randomization and Linear and Semidefinite Programming.- Distributed Systems Technology for Electronic Commerce Applications.- Parallel Interactive Media Server Systems.- Online Routing Problems for Broadband Networks.- Some Prospects forEfficient Fixed Parameter Algorithms.- System Infrastructure for Digital Libraries: A Survey and Outlook.- An Introduction to Cryptology.- Authoring Structured Multimedia Documents.- Engineering Software & Software Engineering.- Efficient Communication Schemes.- Audit of Information Systems: The Need for Cooperation.- Towards the Use of Dynamic Documents in Business Processes.- Contributed Papers.- Computational Power of BSP Computers.- Modeling of Hypermedia Applications.- On the Klee’s Measure Problem in Small Dimensions.- Yet Another Modular Technique for Efficient Leader Election.- Regulated Grammars with Leftmost Derivation.- Some Results on the Modelling of Spatial Data.- Randomized Meldable Priority Queues.- The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections.- Behavioral Safety in a Model with Multiple Class Objects.- Massively Parallel Suffix Array Construction.- Weak Bisimilarity and Open Maps.- A Synchronisation Mechanism for Replicated Objects.- Data Mining Extension for Object-Oriented Query Language.- Constraints with Variables’ Annotations andConstraint Hierarchies.- Sample Method for Minimization of OBDDs.- Determining Type of TIL Construction withVerb Valency Analyser.- Offine Recognition of Cursive Handwritten Czech Text.- Automated Theorem Proving in a Combination of Theories with Disjoint Signatures.