SOFSEM 2013: Theory and Practice of Computer Science: 39th International Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in � pindlerův Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors. Content: Front Matter....Pages - Theory of Multi Core Hypervisor Verification....Pages 1-27 Software Components in Computer Assisted Living?....Pages 28-28 Engineering Algorithms for Large Data Sets....Pages 29-32 Core Stability in Hedonic Coalition Formation....Pages 33-50 Software Production: A New Paradigm for Software Engineering Research....Pages 51-51 A Model of the Commit Size Distribution of Open Source....Pages 52-66 ISICIL: Semantics and Social Networks for Business Intelligence....Pages 67-85 A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations....Pages 86-105 Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence....Pages 106-106 Searching Things in Large Sets of Images....Pages 107-107 SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators....Pages 108-120 Worst Case Analysis of Non-local Games....Pages 121-132 Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory....Pages 133-145 Flow Decompositions in External Memory....Pages 146-156 Improved Approximations for Ordered TSP on Near-Metric Graphs,....Pages 157-168 Asymptotic Risk Analysis for Trust and Reputation Systems....Pages 169-181 Being Caught between a Rock and a Hard Place in an Election – Voter Deterrence by Deletion of Candidates....Pages 182-193 Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences....Pages 194-206 Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks....Pages 207-219 Generalising and Unifying SLUR and Unit-Refutation Completeness....Pages 220-232 On Structural Parameterizations for the 2-Club Problem....Pages 233-243 On Languages of One-Dimensional Overlapping Tiles....Pages 244-256 An Exact Algorithm to Check the Existence of (Elementary) Paths and a Generalisation of the Cut Problem in Graphs with Forbidden Transitions....Pages 257-267 Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs....Pages 268-279 Permuted Pattern Matching on Multi-track Strings....Pages 280-291 Online and Quasi-online Colorings of Wedges and Intervals....Pages 292-306 Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages....Pages 307-318 Incomplete Transition Complexity of Some Basic Operations....Pages 319-331 Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs....Pages 332-343 Approximating the k-Splittable Capacitated Network Design Problem....Pages 344-355 Mixed Hypergraphs for Linear-Time Construction of Denser Hashing-Based Data Structures....Pages 356-368 Coalgebraic Bisimulation-Up-To....Pages 369-381 A Model Transformation Language Based on Logic Programming....Pages 382-394 Hypermodelling Reporting: Towards Cockpits for Code Structure....Pages 395-407 Search in Source Code Based on Identifying Popular Fragments....Pages 408-419 SimCo – Hybrid Simulator for Testing of Component Based Applications....Pages 420-431 Refinement Inference for Sequence Diagrams....Pages 432-444 Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information....Pages 445-456 Utilizing Microblogs for Web Page Relevant Term Acquisition....Pages 457-468 State Coverage: An Empirical Analysis Based on a User Study....Pages 469-480 Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks....Pages 481-490 Computing Semantic Similarity Using Large Static Corpora....Pages 491-502 The Orchestra of Multiple Model Repositories....Pages 503-514 An Ontology-Driven Fuzzy Workflow System....Pages 515-527 Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework....Pages 528-539 Tempo Adaptation within Interactive Music Instruments in Mobile Phone....Pages 540-551 Dynamic Voting Interface in Social Media: Does it Affect Individual Votes?....Pages 552-563 Back Matter....Pages - This book constitutes the refereed proceedings of the 39th InternationalÂÆConference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in ÅÆpindlerův Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in Špindlerův Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors