Skip to main content
SpringerLink
Log in

SOFSEM 2001: Theory and Practice of Informatics

28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Leszek Pacholski

    1. Institute of Computer Science, University of Wroclaw, Wroclaw, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Ružička

    1. Fac. of Mathematics, Physics, and Informatics, Inst. of Informatics, Comenius Univ., Bratislava, Slovakia

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

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 (30 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Talks

    1. The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences

      • Hamideh Afsarmanesh, Ersin Kaletas, Louis O. Hertzberger
      Pages 1-9

    2. Agreement Problems in Fault-Tolerant Distributed Systems

      • Bernadette Charron-Bost
      Pages 10-32

    3. Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes

      • William I. Grosky, Rong Zhao
      Pages 33-52

    4. Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited

      • Sándor Jenei
      Pages 53-57

    5. Recent Advances in Wavelength Routing

      • Christos Kaklamanis
      Pages 58-72

    6. From Metacomputing to Grid Computing: Evolution or Revolution?

      • Domenico Laforenza
      Pages 73-74

    7. Knowledge-Based Control Systems

      • Simon Lambert
      Pages 75-89

    8. Beyond the Turing Limit: Evolving Interactive Systems

      • Jan van Leeuwen, Jiří Wiedermann
      Pages 90-109

    9. Distributed Computations by Autonomous Mobile Robots

      • Nicola Santoro
      Pages 110-115

    10. Formal Verification Methods for Industrial Hardware Design

      • Anna Slobodová
      Pages 116-135

    11. How Can Computer Science Contribute to Knowledge Discovery

      • Osamu Watanabe
      Pages 136-151

  3. Contributed Papers

    1. On the Approximability of Interactive Knapsack Problems

      • Isto Aho
      Pages 152-159

    2. Model Checking Communication Protocols

      • Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski
      Pages 160-170

    3. Pipelined Decomposable BSP Computers

      • Martin Beran
      Pages 171-180

    4. Quantum versus Probabilistic One-Way Finite Automata with Counter

      • Richard Bonner, Rūsiņš Freivalds, Maksim Kravtsev
      Pages 181-190

    5. How to Employ Reverse Search in Distributed Single Source Shortest Paths

      • Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek
      Pages 191-200

    6. Multi-agent Systems as Concurrent Constraint Processes

      • Luboš Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Křetíynskí
      Pages 201-210

    7. ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs

      • Adriano Di Pasquale, Enrico Nardelli
      Pages 211-222

    8. Approximative Learning of Regular Languages

      • Henning Fernau
      Pages 223-232
Back to top

Keywords

About this book

SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Republic. SOFSEM has a well-established tradition. Currently it is a broad, multid- ciplinary conference, devoted to the theory and practice of software systems. Its aim is to foster cooperation among professionals from academia and industry working in various areas of informatics. The scienti?c program of SOFSEM consists of invited talks, which determine the topics of the conference, and short contributed talks presenting original - sults. The topics of the invited talks are chosen so as to cover the whole range from theory to practice and to bring interesting research areas to the attention of conference participants. For the year 2001, the following three directions were chosen for presentation by the SOFSEM Steering Committee: – Trends in Informatics – Enabling Technologies for Global Computing – Practical Systems Engineering and Applications The above directions were covered through 12 invited talks presented by pro- nent researchers. There were 18 contributed talks, selected by the international Program Committee from among 46 submitted papers. The conference was also accompanied by workshops on Electronic Commerce Systems (coordinated by H. D. Zimmermann) and Soft Computing (coordinated by P. H´ajek).

Editors and Affiliations

  • Institute of Computer Science, University of Wroclaw, Wroclaw, Poland

    Leszek Pacholski

  • Fac. of Mathematics, Physics, and Informatics, Inst. of Informatics, Comenius Univ., Bratislava, Slovakia

    Peter Ružička

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation