Skip to main content
SpringerLink
Log in

SOFSEM 2010: Theory and Practice of Computer Science

36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings

  • Conference proceedings
  • © 2010

Access provided by Autonomous University of Puebla

Download book PDF

Overview

Editors:
  1. Jan Leeuwen

    1. Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anca Muscholl

    1. LaBRI, Universit Bordeaux, Talence Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. David Peleg

    1. Department of Computer Science & Applied Mathematics, Weizmann Institute, Faculty of Mathematics and Computer Science, Rehovot, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Jaroslav Pokorný

    1. Department of Software Engineering Faculty of Mathematics and Physics Malostranské nám, Charles University, Prague 1, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Bernhard Rumpe

    1. Software Engineering, Department of Computer Science, RWTH Aachen University, Aachen, Germany

    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 5901)

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

Included in the following conference series:

Conference proceedings info: SOFSEM 2010.

Buy print copy

Softcover Book USD 109.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

Keywords

Table of contents (64 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Forcing Monotonicity in Parameterized Verification: From Multisets to Words

      • Parosh Aziz Abdulla
      Pages 1-15
      Download chapter PDF

    2. Research Issues in the Automated Testing of Ajax Applications

      • Arie van Deursen, Ali Mesbah
      Pages 16-28
      Download chapter PDF

    3. Essential Performance Drivers in Native XML DBMSs

      • Theo Härder, Christian Mathis, Sebastian Bächle, Karsten Schmidt, Andreas M. Weiner
      Pages 29-46
      Download chapter PDF

    4. Continuous Processing of Preference Queries in Data Streams

      • Maria Kontaki, Apostolos N. Papadopoulos, Yannis Manolopoulos
      Pages 47-60
      Download chapter PDF

    5. Clock Synchronization: Open Problems in Theory and Practice

      • Christoph Lenzen, Thomas Locher, Philipp Sommer, Roger Wattenhofer
      Pages 61-70
      Download chapter PDF

    6. Regret Minimization and Job Scheduling

      • Yishay Mansour
      Pages 71-76
      Download chapter PDF

    7. Lessons in Software Evolution Learned by Listening to Smalltalk

      • Oscar Nierstrasz, Tudor Gîrba
      Pages 77-95
      Download chapter PDF

    8. The Web of Things: Extending the Web into the Real World

      • Dave Raggett
      Pages 96-107
      Download chapter PDF

    9. Web Science: The Digital-Heritage Case

      • Guus Schreiber
      Pages 108-111
      Download chapter PDF

    10. Model-Driven Software Product Line Testing: An Integrated Approach

      • Andy Schürr, Sebastian Oster, Florian Markert
      Pages 112-131
      Download chapter PDF

    11. Taming the Complexity of Inductive Logic Programming

      • Filip Železný, Ondřej Kuželka
      Pages 132-140
      Download chapter PDF

  3. Regular Papers

    1. A Rule Format for Unit Elements

      • Luca Aceto, Anna Ingolfsdottir, MohammadReza Mousavi, Michel A. Reniers
      Pages 141-152
      Download chapter PDF

    2. Approximability of Edge Matching Puzzles

      • Antonios Antoniadis, Andrzej Lingas
      Pages 153-164
      Download chapter PDF

    3. A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks

      • Maxim A. Babenko, Ignat I. Kolesnichenko, Ilya P. Razenshteyn
      Pages 165-175
      Download chapter PDF

    4. R-Programs: A Framework for Distributing XML Structural Joins across Function Calls

      • David Bednárek
      Pages 176-187
      Download chapter PDF

    5. Fast Arc-Annotated Subsequence Matching in Linear Space

      • Philip Bille, Inge Li Gørtz
      Pages 188-199
      Download chapter PDF

    6. Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs

      • Frank S. de Boer, Immo Grabe
      Pages 200-211
      Download chapter PDF

    7. A Kernel for Convex Recoloring of Weighted Forests

      • Hans L. Bodlaender, Marc Comas
      Pages 212-223
      Download chapter PDF

    8. Symbolic OBDD-Based Reachability Analysis Needs Exponential Space

      • Beate Bollig
      Pages 224-234
      Download chapter PDF
Back to top

Other volumes

  1. SOFSEM 2010: Theory and Practice of Computer Science

Editors and Affiliations

  • Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands

    Jan Leeuwen

  • LaBRI, Universit Bordeaux, Talence Cedex, France

    Anca Muscholl

  • Department of Computer Science & Applied Mathematics, Weizmann Institute, Faculty of Mathematics and Computer Science, Rehovot, Israel

    David Peleg

  • Department of Software Engineering Faculty of Mathematics and Physics Malostranské nám, Charles University, Prague 1, Czech Republic

    Jaroslav Pokorný

  • Software Engineering, Department of Computer Science, RWTH Aachen University, Aachen, Germany

    Bernhard Rumpe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation