This book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2005, held in Liptovský Ján, Slovakia in January 2005.
The 28 revised full papers and 16 revised short papers presented together with 8 invited contributions were carefully reviewed and selected from 144 submissions. The papers were organized in four topical tracks on foundations of computer science, modeling and searching data in the web area, software engineering, and graph drawing and discrete computational mathematics.
Author(s): Maria Bieliková, Charon-Bost, Ondrej Sýkora
Edition: 1
Publisher: Springer
Year: 2005
Language: German
Pages: 443
Table of Contents......Page 12
Discovering Treewidth......Page 18
From Research Prototypes to Industrial Strength Open Source Products – The ObjectWeb Experience......Page 34
How Hard Is It to Take a Snapshot?......Page 45
Logical Foundations for Data Integration......Page 55
Recent Advances in Graph Drawing......Page 58
The Hyperdatabase Network – New Middleware for Searching and Maintaining the Information Space......Page 59
Architecture of a Business Framework for the .NET Platform and Open Source Environments......Page 64
Progress on Crossing Number Problems......Page 70
Greedy Differential Approximations for Min Set Cover......Page 79
A Methodology of Visual Modeling Language Evaluation......Page 89
Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem......Page 99
A Hierarchical Markovian Mining Approach for Favorite Navigation Patterns......Page 109
Non-planar Orthogonal Drawings with Fixed Topology......Page 113
A Topology-Driven Approach to the Design of Web Meta-search Clustering Engines......Page 123
Computing Upward Planar Drawings Using Switch-Regularity Heuristics......Page 134
Serial and Parallel Multilevel Graph Partitioning Using Fixed Centers......Page 144
Two-Layer Planarization: Improving on Parameterized Algorithmics......Page 154
On the Stability of Approximation for Hamiltonian Path Problems......Page 164
Robustness of Composed Timed Systems......Page 174
Topology Generation for Web Communities Modeling......Page 184
Recursion Versus Replication in Simple Cryptographic Protocols......Page 195
Modeling Data Integration with Updateable Object Views......Page 205
Fixed-Parameter Tractable Algorithms for Testing Upward Planarity......Page 216
Read/Write Based Fast-Path Transformation for FCFS Mutual Exclusion......Page 226
Adjustment of Indirect Association Rules for the Web......Page 236
Anonymous Communication with On-line and Off-line Onion Encoding......Page 246
Characteristic Patterns for LTL......Page 256
Planar Straight-Line Drawing in an O(n) x O(n) Grid with Angular Resolution Ω(1/n)......Page 267
Modeling Nested Relationships in XML Documents Using Relational Databases......Page 276
RAQ: A Range-Queriable Distributed Data Structure......Page 286
On Some Weighted Satisfiability and Graph Problems......Page 295
On the Security and Composability of the One Time Pad......Page 305
Lower Bounds on the OBDD Size of Graphs of Some Popular Functions......Page 315
XML-Based Declarative Access Control......Page 327
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures......Page 337
Cost-Constrained Minimum-Delay Multicasting......Page 347
Ontology-Based Inconsistency Management of Software Requirements Specifications......Page 357
Suffix Tree Based Data Compression......Page 367
Tier Aspect Model Based on Updatable Views......Page 377
Well-Founded Metamodeling for Model-Driven Architecture......Page 381
Stepwise Optimization Method for Search for k-CNN Location-Based Service......Page 385
An Approach for Integrating Analysis Patterns and Feature Diagrams into Model Driven Architecture......Page 389
Outerplanar Crossing Numbers of 3-Row Meshes, Halin Graphs and Complete p-Partite Graphs......Page 393
Fast Bit-Vector Algorithms for Approximate String Matching Under Indel Distance......Page 397
Feature Selection by Reordering......Page 402
A Management Scheme for the Basic Types in High Level Languages......Page 407
Bayesian Networks in Software Maintenance Management......Page 411
A Multiagent System Aiding Information Retrieval in Internet Using Consensus Methods......Page 416
Interval-Valued Data Structures and Their Application to e-Learning......Page 420
Boolean Functions with a Low Polynomial Degree and Quantum Query Algorithms......Page 425
Representation of Extended RBAC Model Using UML Language......Page 430
A Methodology for Writing Class Contracts......Page 435
Volumes of 3D Drawings of Homogenous Product Graphs......Page 440
P......Page 444
Z......Page 445
