SOFSEM’ 98: Theory and Practice of Informatics: 25th Conference on Current Trends in Theory and Practice of Informatics Jasná, Slovakia, November 21–27, 1998 Proceedings

Maarten Boasson (auth.), Branislav Rovan (eds.)3540652604, 9783540652601

This book constitutes the proceedings of the 25th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM’98, held in Jasna, Slovakia, in November 1998.
The volume presents 19 invited survey articles by internationally well-known authorities together with 18 revised full research papers carefully reviewed and selected for inclusion in the book. The areas covered include history of models of computation, algorithms, formal methods, practical aspects of software engineering, database systems, parallel and distributed systems, electronic commerce, and electronic documents and digital libraries.

---

Table of contents :
Software Architecture for Distributed Reactive Systems….Pages 1-18
A Logical Basis for Modular Software and Systems Engineering….Pages 19-35
From Quartets to Phylogenetic Trees….Pages 36-53
Reuse Methods for Construction of Parallel Software….Pages 54-67
Compiling Horn-Clause Rules in IBM’s Business System 12 an Early Experiment in Declarativeness….Pages 68-88
Models of Computation, Riemann Hypothesis, and Classical Mathematics….Pages 89-106
Security of Electronic Money….Pages 107-121
Algorithms Based on Randomization and Linear and Semidefinite Programming….Pages 122-134
Distributed Systems Technology for Electronic Commerce Applications….Pages 135-148
Parallel Interactive Media Server Systems….Pages 149-166
Online Routing Problems for Broadband Networks….Pages 167-167
Some Prospects forEfficient Fixed Parameter Algorithms….Pages 168-185
System Infrastructure for Digital Libraries: A Survey and Outlook….Pages 186-203
An Introduction to Cryptology….Pages 204-221
Authoring Structured Multimedia Documents….Pages 222-239
Engineering Software & Software Engineering….Pages 240-243
Efficient Communication Schemes….Pages 244-263
Audit of Information Systems: The Need for Cooperation….Pages 264-274
Towards the Use of Dynamic Documents in Business Processes….Pages 275-284
Computational Power of BSP Computers….Pages 285-293
Modeling of Hypermedia Applications….Pages 294-303
On the Klee’s Measure Problem in Small Dimensions….Pages 304-311
Yet Another Modular Technique for Efficient Leader Election….Pages 312-321
Regulated Grammars with Leftmost Derivation….Pages 322-331
Some Results on the Modelling of Spatial Data….Pages 332-343
Randomized Meldable Priority Queues….Pages 344-349
The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections….Pages 350-359
Behavioral Safety in a Model with Multiple Class Objects….Pages 360-370
Massively Parallel Suffix Array Construction….Pages 371-380
Weak Bisimilarity and Open Maps….Pages 381-388
A Synchronisation Mechanism for Replicated Objects….Pages 389-398
Data Mining Extension for Object-Oriented Query Language….Pages 399-408
Constraints with Variables’ Annotations and Constraint Hierarchies….Pages 409-418
Sample Method for Minimization of OBDDs….Pages 419-428
Determining Type of TIL Construction withVerb Valency Analyser….Pages 429-436
Offine Recognition of Cursive Handwritten Czech Text….Pages 437-442
Automated Theorem Proving in a Combination of Theories with Disjoint Signatures….Pages 443-452