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

  • Giuseppe F. Italiano
  • Tiziana Margaria-Steffen
  • Jaroslav Pokorný
  • Jean-Jacques Quisquater
  • Roger Wattenhofer
Conference proceedings SOFSEM 2015

DOI: 10.1007/978-3-662-46078-8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8939)

Table of contents (50 papers)

  1. Front Matter
  2. Invited Talks

    1. Keynote Talk

      1. What is Computation: An Epistemic Approach
        Jiří Wiedermann, Jan van Leeuwen
        Pages 1-13
    2. Foundations of Computer Science

    3. Software and Web Engineering

      1. Quo Vadis Explicit-State Model Checking
        Jiří Barnat
        Pages 46-57
      2. The Dos and Dont’s of Crowdsourcing Software Development
        Brian Fitzgerald, Klaas-Jan Stol
        Pages 58-64
    4. Data, Information and Knowledge Engineering

      1. Adaptively Approximate Techniques in Distributed Architectures
        Barbara Catania, Giovanna Guerrini
        Pages 65-77
  3. Regular Papers

    1. Foundations of Computer Science

      1. Balancing Energy Consumption for the Establishment of Multi-interface Networks
        Alessandro Aloisio, Alfredo Navarra
        Pages 102-114
      2. The Maximum k-Differential Coloring Problem
        Michael A. Bekos, Michael Kaufmann, Stephen Kobourov, Sankar Veeramoni
        Pages 115-127
      3. Exact Algorithms for 2-Clustering with Size Constraints in the Euclidean Plane
        Alberto Bertoni, Massimiliano Goldwurm, Jianyi Lin
        Pages 128-139
      4. Local Routing in Convex Subdivisions
        Prosenjit Bose, Stephane Durocher, Debajyoti Mondal, Maxime Peabody, Matthew Skala, Mohammad Abdul Wahid
        Pages 140-151
      5. Nondeterministic Modal Interfaces
        Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler
        Pages 152-163
      6. Group Search on the Line
        Marek Chrobak, Leszek Gąsieniec, Thomas Gorry, Russell Martin
        Pages 164-176
      7. Online Makespan Scheduling with Sublinear Advice
        Jérôme Dohrau
        Pages 177-188
      8. Deterministic Rendezvous in Restricted Graphs
        Ashley Farrugia, Leszek Gąsieniec, Łukasz Kuszner, Eduardo Pacheco
        Pages 189-200
      9. Fastest, Average and Quantile Schedule
        Armin Fügenschuh, Konstanty Junosza-Szaniawski, Torsten Klug, Sławomir Kwasiborski, Thomas Schlechte
        Pages 201-216
      10. Maximally Permissive Controlled System Synthesis for Modal Logic
        Alan C. van Hulst, Michel A. Reniers, Wan J. Fokkink
        Pages 230-241

About these proceedings

Introduction

This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification.

Keywords

Web of data XML transformations access control approximation algorithms big data data mining graph theory knowledge discovery machine learning multi-party computation ontology programming languages quality of service query processing secret sharing semantic Web social networks software component software development storage in clouds

Editors and affiliations

  • Giuseppe F. Italiano
    • 1
  • Tiziana Margaria-Steffen
    • 2
  • Jaroslav Pokorný
    • 3
  • Jean-Jacques Quisquater
    • 4
  • Roger Wattenhofer
    • 5
  1. 1.University of Rome Tor VergataRomeItaly
  2. 2.University of LimerickIreland
  3. 3.Charles UniversityPragueCzech Republic
  4. 4.Université catholique de LouvainLouvainBelgium
  5. 5.ETH ZurichZurichSwitzerland

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-46077-1
  • Online ISBN 978-3-662-46078-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349