SOFSEM 2006 Theory and Practice of Computer Science

Invited Talks.- How Can Nature Help Us Compute?.- Evolving Ontology Evolution.- A Formal Comparison of Visual Web Wrapper Generators.- Beyond the Horizon: Planning Future European ICT R&D.- Selfish Routing in Networks.- New Physics and Hypercomputation.- Models and Algorithms for Wireless Sensor Networks (Smart Dust).- SomeWhere in the Semantic Web.- Mobility in Wireless Networks.- Group Communication: From Practice to Theory.- Regular Papers.- A General Data Reduction Scheme for Domination in Graphs.- Incremental Method for XML View Maintenance in Case of Non Monitored Data Sources.- Non-intersecting Complexity.- Constructing Interference-Minimal Networks.- Matching Points with Rectangles and Squares.- Searching Paths of Constant Bandwidth.- Graph Searching and Search Time.- Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic.- Simple Algorithm for Sorting the Fibonacci String Rotations.- Oriented Coloring: Complexity and Approximation.- nonblocker: Parameterized Algorithmics for minimum dominating set.- Quantum Finite Automata and Logics.- FDSI-Tree: A Fully Distributed Spatial Index Tree for Efficient & Power-Aware Range Queries in Sensor Networks.- Roman Domination: A Parameterized Perspective.- Sedna: A Native XML DBMS.- Optimal Memory Rendezvous of Anonymous Mobile Agents in a Unidirectional Ring.- The Knowledge Cartography - A New Approach to Reasoning over Description Logics Ontologies.- Complexity and Exact Algorithms for Multicut.- Using Extensible Heterogeneous Database Transformers.- P-Selectivity, Immunity, and the Power of One Bit.- Transparent Migration of Database Services.- Merging and Merge-Sort in a Single Hop Radio Network.- On Optimal and Efficient in Place Merging.- A Personalized Recommendation System Based on PRML for E-Commerce.- An Efficient Index Scheme for XML Databases.- On Separating Constant from Polynomial Ambiguity of Finite Automata.- Reliable Broadcasting Without Collision Detection.- Semi-strong Static