+612 9045 4394
 
CHECKOUT
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 - Branislav Rovan

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

By: Branislav Rovan (Editor)

Paperback

Published: 28th October 1998
Ships: 15 business days
15 business days
$158.39
or 4 easy payments of $39.60 with Learn more

This volume contains the invited papers and papers selected for presentation at the 25th conference on Theory and Practice of Informatics | SOFSEM '98, held in Jasn a, Slovakia, November 21{27, 1998. The SOFSEM conference series started in 1974 as a local event in Czec- slovakia and from the very beginning became the top domestic event in software theory and practice. It has been unique in several respects, being a mix of w- ter school, conference, and advanced workshop. It brought together professionals from academia and industry and provided an opportunity for both theoreti- ans and practitioners to learn about the new developments in a broad range of computer science subjects via a series of invited talks. The conference gradually evolved into an international event, keeping most of its original characteristics. It features a relatively large number of invited talks, refereed papers (contributed papers), and refereed poster contributions. In addition, time and space for ?ash communications, industrial presentations, and exhibitions are provided. SOFSEM is every year result of a considerable e ort by a number of p- ple. Its Advisory Board (Dines Bj rner, Manfred Broy, Michal Chytil, Peter van Emde Boas, Georg Gottlob, Keith G. Je rey, Maria Zemankova) and - dowment Board (Keith G. Je rey, Jan Pavelka, Franti sek Pl a sil, Igor Pr vara, Branislav Rovan, vice-chair, Jan Staudek, Ji r Wiedermann, chair) is in process of being transformed into a Steering Committee.

Invited Talks
Software Architecture for Distributed Reactive Systemsp. 1
A Logical Basis for Modular Software and Systems Engineeringp. 19
From Quartets to Phylogenetic Treesp. 36
Reuse Methods for Construction of Parallel Softwarep. 54
Compiling Horn-Clause Rules in IBM's Business System 12, an Early Experiment in Declarativenessp. 68
Models of Computation, Riemann Hypothesis, and Classical Mathematicsp. 89
Security of Electronic Moneyp. 107
Algorithms Based on Randomization and Linear and Semidefinite Programmingp. 122
Distributed Systems Technology for Electronic Commerce Applicationsp. 135
Parallel Interactive Media Server Systemsp. 149
Online Routing Problems for Broadband Networksp. 167
Some Prospects for Efficient Fixed Parameter Algorithmsp. 168
System Infrastructure for Digital Libraries: A Survey and Outlookp. 186
An Introduction to Cryptologyp. 204
Authoring Structured Multimedia Documentsp. 222
Engineering Software & Software Engineeringp. 240
Efficient Communication Schemesp. 244
Audit of Information Systems: The Need for Co-operationp. 264
Towards the Use of Dynamic Documents in Business Processesp. 275
Contributed Papers
Computational Power of BSP Computersp. 285
Modeling of Hypermedia Applicationsp. 294
On the Klee's Measure Problem in Small Dimensionsp. 304
Yet Another Modular Technique for Efficient Leader Electionp. 312
Regulated Grammars with Leftmost Derivationp. 322
Some Results on the Modelling of Spatial Datap. 332
Randomized Meldable Priority Queuesp. 344
The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projectionsp. 350
Behavioral Safety in a Model with Multiple Class Objectsp. 360
Massively Parallel Suffix Array Constructionp. 371
Weak Bisimilarity and Open Mapsp. 381
A Synchronisation Mechanism for Replicated Objectsp. 389
Data Mining Extension for Object-Oriented Query Languagep. 399
Constraints with Variables' Annotations and Constraint Hierarchiesp. 409
Sample Method for Minimization of OBDDsp. 419
Determining Type of TIL Construction with Verb Valency Analyserp. 429
Offline Recognition of Cursive Handwritten Czech Textp. 437
Automated Theorem Proving in a Combination of Theories with Disjoint Signaturesp. 443
Author Indexp. 453
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540652601
ISBN-10: 3540652604
Series: Sofsem'98
Audience: General
Format: Paperback
Language: English
Number Of Pages: 460
Published: 28th October 1998
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.41
Weight (kg): 0.65