Skip to main content
  • Conference proceedings
  • © 2010

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 info: SOFSEM 2010.

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (64 papers)

  1. Front Matter

  2. Invited Talks

    1. Research Issues in the Automated Testing of Ajax Applications

      • Arie van Deursen, Ali Mesbah
      Pages 16-28
    2. Essential Performance Drivers in Native XML DBMSs

      • Theo Härder, Christian Mathis, Sebastian Bächle, Karsten Schmidt, Andreas M. Weiner
      Pages 29-46
    3. Continuous Processing of Preference Queries in Data Streams

      • Maria Kontaki, Apostolos N. Papadopoulos, Yannis Manolopoulos
      Pages 47-60
    4. Clock Synchronization: Open Problems in Theory and Practice

      • Christoph Lenzen, Thomas Locher, Philipp Sommer, Roger Wattenhofer
      Pages 61-70
    5. Regret Minimization and Job Scheduling

      • Yishay Mansour
      Pages 71-76
    6. Lessons in Software Evolution Learned by Listening to Smalltalk

      • Oscar Nierstrasz, Tudor Gîrba
      Pages 77-95
    7. Web Science: The Digital-Heritage Case

      • Guus Schreiber
      Pages 108-111
    8. Model-Driven Software Product Line Testing: An Integrated Approach

      • Andy Schürr, Sebastian Oster, Florian Markert
      Pages 112-131
    9. Taming the Complexity of Inductive Logic Programming

      • Filip Železný, Ondřej Kuželka
      Pages 132-140
  3. Regular Papers

    1. A Rule Format for Unit Elements

      • Luca Aceto, Anna Ingolfsdottir, MohammadReza Mousavi, Michel A. Reniers
      Pages 141-152
    2. Approximability of Edge Matching Puzzles

      • Antonios Antoniadis, Andrzej Lingas
      Pages 153-164
    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
    4. Fast Arc-Annotated Subsequence Matching in Linear Space

      • Philip Bille, Inge Li Gørtz
      Pages 188-199
    5. A Kernel for Convex Recoloring of Weighted Forests

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

Other Volumes

  1. SOFSEM 2010: Theory and Practice of Computer Science

Keywords

  • Code
  • Graph
  • classification
  • data mining
  • design
  • graph theory
  • linear optimization
  • load balancing
  • modeling
  • optimization
  • parametrized verification
  • rules mining
  • search trees
  • software reuse
  • verification
  • data structures

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

  • Book Title: SOFSEM 2010: Theory and Practice of Computer Science

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

  • Editors: Jan Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-11266-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2010

  • Softcover ISBN: 978-3-642-11265-2Published: 20 January 2010

  • eBook ISBN: 978-3-642-11266-9Published: 07 December 2009

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XV, 780

  • Topics: Software Engineering, Programming Techniques, Data Storage Representation, Data Science, Database Management

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions