SOFSEM '98: Theory and Practice of Informatics: 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November ... Notes in Computer Science, 1521, Band 1521) - Softcover

Rovan, Branislav

Softcover

ISBN 10: 3540652604 ISBN 13: 9783540652601

Verlag: Springer, 2008

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 3540652604
• ISBN 13: 9783540652601
• Einband: Taschenbuch
• Anzahl der Seiten: 472
• Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Deutschland