SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings

Front Matter....Pages -
What is Computation: An Epistemic Approach....Pages 1-13
Progress (and Lack Thereof) for Graph Coloring Approximation Problems....Pages 14-23
Recent Results in Scalable Multi-Party Computation....Pages 24-44
Online Bipartite Matching in Offline Time (Abstract)....Pages 45-45
Quo Vadis Explicit-State Model Checking....Pages 46-57
The Dos and Dont’s of Crowdsourcing Software Development....Pages 58-64
Adaptively Approximate Techniques in Distributed Architectures....Pages 65-77
Back to the Future – Should SQL Surrender to SPARQL?....Pages 78-101
Balancing Energy Consumption for the Establishment of Multi-interface Networks....Pages 102-114
The Maximum k-Differential Coloring Problem....Pages 115-127
Exact Algorithms for 2-Clustering with Size Constraints in the Euclidean Plane....Pages 128-139
Local Routing in Convex Subdivisions....Pages 140-151
Nondeterministic Modal Interfaces....Pages 152-163
Group Search on the Line....Pages 164-176
Online Makespan Scheduling with Sublinear Advice....Pages 177-188
Deterministic Rendezvous in Restricted Graphs....Pages 189-200
Fastest, Average and Quantile Schedule....Pages 201-216
Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP....Pages 217-229
Maximally Permissive Controlled System Synthesis for Modal Logic....Pages 230-241
Approximation Hardness of the Cross-Species Conserved Active Modules Detection Problem....Pages 242-253
Finding Highly Connected Subgraphs....Pages 254-265
Fixing Improper Colorings of Graphs....Pages 266-276
Efficient Online Strategies for Renting Servers in the Cloud....Pages 277-288
Pal k is Linear Recognizable Online....Pages 289-301
Two Grammatical Equivalents of Flip-Pushdown Automata....Pages 302-313
On the Hierarchy Classes of Finite Ultrametric Automata....Pages 314-326
Nash-Williams-type and Chvátal-type Conditions in One-Conflict Graphs....Pages 327-338
Optimal State Reductions of Automata with Partially Specified Behaviors....Pages 339-351
Quantum Pushdown Automata with a Garbage Tape....Pages 352-363
Towards a Characterization of Leaf Powers by Clique Arrangements....Pages 364-376
Filling Logarithmic Gaps in Distributed Complexity for Global Problems....Pages 377-388
On Visibly Pushdown Trace Languages....Pages 389-400
Dominating an s - t -Cut in a Network....Pages 401-411
Lower Bounds for Linear Decision Trees with Bounded Weights....Pages 412-422
A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs....Pages 423-435
Function Based Requirements Engineering and Design –Towards Efficient and Transparent Plant Engineering....Pages 436-448
Software Developer Activity as a Source for Identifying Hidden Source Code Dependencies....Pages 449-462
Discovering Motifs in Real-World Social Networks....Pages 463-474
Exploiting Semantic Activity Labels to Facilitate Consistent Specialization of Abstract Process Activities....Pages 475-485
Efficient Similarity Search by Combining Indexing and Caching Strategies....Pages 486-497
Retrieving Documents Related to Database Queries....Pages 498-510
Advantages of Dependency Parsing for Free Word Order Natural Languages....Pages 511-518
Detecting Identical Entities in the Semantic Web Data....Pages 519-530
Conducting a Web Browsing Behaviour Study – An Educational Scenario....Pages 531-542
A Uniform Programmning Language for Implementing XML Standards....Pages 543-554
OntoSDM: An Approach to Improve Quality on Spatial Data Mining Algorithms....Pages 555-565
Attribute-Based Encryption Optimized for Cloud Computing....Pages 566-577
Trustworthy Virtualization of the ARMv7 Memory Subsystem....Pages 578-589
True Random Number Generators Secure in a Changing Environment: Improved Security Bounds....Pages 590-602
Java Loops Are Mainly Polynomial....Pages 603-614
Back Matter....Pages -