Skip to main content
SpringerLink
Log in
Book cover

SOFSEM 2014: Theory and Practice of Computer Science

40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Viliam Geffert

    1. Dep. Computer Sci., P. J. Šafárik University, Košice, Slovakia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bart Preneel

    1. Katholieke Universiteit Leuven, Leuven-Heverlee, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Branislav Rovan

    1. Department of Computer Science, Comenius University, Bratislava, Slovakia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Július Štuller

    1. Institute of Computer Science, Academy of Sciences, Prague, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. A Min Tjoa

    1. Institute of Software Technology, Vienna University of Technology, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SOFSEM 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (45 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Open Services for Software Process Compliance Engineering

      • Miklos Biro
      Pages 1-6

    2. Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems

      • David Janin
      Pages 7-20

    3. Advice Complexity: Quantitative Approach to A-Priori Information

      • Rastislav Královič
      Pages 21-29

    4. Matching of Images of Non-planar Objects with View Synthesis

      • Dmytro Mishkin, Jiří Matas
      Pages 30-39

    5. Agile Requirements Engineering: A Research Perspective

      • Jerzy Nawrocki, Mirosław Ochodek, Jakub Jurkiewicz, Sylwia Kopczyńska, Bartosz Alchimowicz
      Pages 40-51

  3. Contributed Papers

    1. Fitting Planar Graphs on Planar Maps

      • Md. Jawaherul Alam, Michael Kaufmann, Stephen G. Kobourov, Tamara Mchedlidze
      Pages 52-64

    2. Minimum Activation Cost Node-Disjoint Paths in Graphs with Bounded Treewidth

      • Hasna Mohsen Alqahtani, Thomas Erlebach
      Pages 65-76

    3. Tight Bounds for the Advice Complexity of the Online Minimum Steiner Tree Problem

      • Kfir Barhum
      Pages 77-88

    4. On the Power of Advice and Randomization for the Disjoint Path Allocation Problem

      • Kfir Barhum, Hans-Joachim Böckenhauer, Michal Forišek, Heidi Gebauer, Juraj Hromkovič, Sacha Krug et al.
      Pages 89-101

    5. Goal-Based Establishment of an Information Security Management System Compliant to ISO 27001

      • Kristian Beckers
      Pages 102-113

    6. ProofBook: An Online Social Network Based on Proof-of-Work and Friend-Propagation

      • Sebastian Biedermann, Nikolaos P. Karvelas, Stefan Katzenbeisser, Thorsten Strufe, Andreas Peter
      Pages 114-125

    7. Platform Independent Software Development Monitoring: Design of an Architecture

      • Mária Bieliková, Ivan Polášek, Michal Barla, Eduard Kuric, Karol Rástočný, Jozef Tvarožek et al.
      Pages 126-137

    8. Towards Unlocking the Full Potential of Multileaf Collimators

      • Guillaume Blin, Paul Morel, Romeo Rizzi, Stéphane Vialette
      Pages 138-149

    9. Parameterized Complexity of the Sparsest k-Subgraph Problem in Chordal Graphs

      • Marin Bougeret, Nicolas Bousquet, Rodolphe Giroudeau, Rémi Watrigant
      Pages 150-161

    10. Error-Pruning in Interface Automata

      • Ferenc Bujtor, Walter Vogler
      Pages 162-173

    11. Aspect-Driven Design of Information Systems

      • Karel Cemus, Tomas Cerny
      Pages 174-186

    12. Exact Algorithms to Clique-Colour Graphs

      • Manfred Cochefert, Dieter Kratsch
      Pages 187-198

    13. Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach

      • Valeria de Castro, Martin A. Musicante, Umberto Souza da Costa, Plácido A. de Souza Neto, Genoveva Vargas-Solar
      Pages 199-210

    14. Safety Contracts for Timed Reactive Components in SysML

      • Iulia Dragomir, Iulian Ober, Christian Percebois
      Pages 211-222
Back to top

Other volumes

  1. SOFSEM 2014: Theory and Practice of Computer Science

Keywords

About this book

This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, held in Nový Smokovec, Slovakia, in January 2014. The 40 revised full papers presented in this volume were carefully reviewed and selected from 104 submissions. The book also contains 6 invited talks. The contributions covers topics as: Foundations of Computer Science, Software and Web Engineering, as well as Data, Information and Knowledge Engineering and Cryptography, Security and Verification.

Editors and Affiliations

  • Dep. Computer Sci., P. J. Šafárik University, Košice, Slovakia

    Viliam Geffert

  • Katholieke Universiteit Leuven, Leuven-Heverlee, Belgium

    Bart Preneel

  • Department of Computer Science, Comenius University, Bratislava, Slovakia

    Branislav Rovan

  • Institute of Computer Science, Academy of Sciences, Prague, Czech Republic

    Július Štuller

  • Institute of Software Technology, Vienna University of Technology, Vienna, Austria

    A Min Tjoa

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation