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 / [electronic resource] :
edited by Branislav Rovan.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.
- XII, 460 p. online resource.
- Lecture Notes in Computer Science, 1521 0302-9743 ; .
- Lecture Notes in Computer Science, 1521 .
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 and Constraint 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.
9783540494775
10.1007/3-540-49477-4 doi
Computer science.
Computer Communication Networks.
Software engineering.
Information theory.
Information systems.
Computer Science.
Computer Communication Networks.
Software Engineering/Programming and Operating Systems.
Theory of Computation.
Information Systems and Communication Service.
TK5105.5-5105.9
004.6
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 and Constraint 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.
9783540494775
10.1007/3-540-49477-4 doi
Computer science.
Computer Communication Networks.
Software engineering.
Information theory.
Information systems.
Computer Science.
Computer Communication Networks.
Software Engineering/Programming and Operating Systems.
Theory of Computation.
Information Systems and Communication Service.
TK5105.5-5105.9
004.6