SOFSEM 2005: Theory and Practice of Computer Science: 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

Front Matter....Pages -
Discovering Treewidth....Pages 1-16
From Research Prototypes to Industrial Strength Open Source Products – The ObjectWeb Experience....Pages 17-27
How Hard Is It to Take a Snapshot?....Pages 28-37
Logical Foundations for Data Integration....Pages 38-40
Recent Advances in Graph Drawing....Pages 41-41
The Hyperdatabase Network – New Middleware for Searching and Maintaining the Information Space....Pages 42-46
Architecture of a Business Framework for the .NET Platform and Open Source Environments....Pages 47-52
Progress on Crossing Number Problems....Pages 53-61
Greedy Differential Approximations for Min Set Cover....Pages 62-71
A Methodology of Visual Modeling Language Evaluation....Pages 72-81
Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem....Pages 82-91
A Hierarchical Markovian Mining Approach for Favorite Navigation Patterns....Pages 92-95
Non-planar Orthogonal Drawings with Fixed Topology....Pages 96-105
A Topology-Driven Approach to the Design of Web Meta-search Clustering Engines....Pages 106-116
Computing Upward Planar Drawings Using Switch-Regularity Heuristics....Pages 117-126
Serial and Parallel Multilevel Graph Partitioning Using Fixed Centers....Pages 127-136
Two-Layer Planarization: Improving on Parameterized Algorithmics....Pages 137-146
On the Stability of Approximation for Hamiltonian Path Problems....Pages 147-156
Robustness of Composed Timed Systems....Pages 157-166
Topology Generation for Web Communities Modeling....Pages 167-177
Recursion Versus Replication in Simple Cryptographic Protocols....Pages 178-187
Modeling Data Integration with Updateable Object Views....Pages 188-198
Fixed-Parameter Tractable Algorithms for Testing Upward Planarity....Pages 199-208
Read/Write Based Fast-Path Transformation for FCFS Mutual Exclusion....Pages 209-218
Adjustment of Indirect Association Rules for the Web....Pages 219-228
Anonymous Communication with On-line and Off-line Onion Encoding....Pages 229-238
Characteristic Patterns for LTL....Pages 239-249
Planar Straight-Line Drawing in an $\\mathcal{O}(n)\\times \\mathcal{O}(n)$ Grid with Angular Resolution $\\it \\Omega$ (1/ n )....Pages 250-258
Modeling Nested Relationships in XML Documents Using Relational Databases....Pages 259-268
RAQ: A Range-Queriable Distributed Data Structure....Pages 269-277
On Some Weighted Satisfiability and Graph Problems....Pages 278-287
On the Security and Composability of the One Time Pad....Pages 288-297
Lower Bounds on the OBDD Size of Graphs of Some Popular Functions....Pages 298-309
XML-Based Declarative Access Control....Pages 310-319
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures....Pages 320-329
Cost-Constrained Minimum-Delay Multicasting....Pages 330-339
Ontology-Based Inconsistency Management of Software Requirements Specifications....Pages 340-349
Suffix Tree Based Data Compression....Pages 350-359
Tier Aspect Model Based on Updatable Views....Pages 360-363
Well-Founded Metamodeling for Model-Driven Architecture....Pages 364-367
Stepwise Optimization Method for k -CNN Search for Location-Based Service....Pages 368-371
An Approach for Integrating Analysis Patterns and Feature Diagrams into Model Driven Architecture....Pages 372-375
Outerplanar Crossing Numbers of 3-Row Meshes, Halin Graphs and Complete p -Partite Graphs....Pages 376-379
Fast Bit-Vector Algorithms for Approximate String Matching Under Indel Distance....Pages 380-384
Feature Selection by Reordering....Pages 385-389
A Management Scheme for the Basic Types in High Level Languages....Pages 390-393
Bayesian Networks in Software Maintenance Management....Pages 394-398
A Multiagent System Aiding Information Retrieval in Internet Using Consensus Methods....Pages 399-402
Interval-Valued Data Structures and Their Application to e-Learning....Pages 403-407
Boolean Functions with a Low Polynomial Degree and Quantum Query Algorithms....Pages 408-412
Representation of Extended RBAC Model Using UML Language....Pages 413-417
A Methodology for Writing Class Contracts....Pages 418-422
Volumes of 3D Drawings of Homogenous Product Graphs....Pages 423-426
Back Matter....Pages -