Skip to main content
SpringerLink
Log in
Book cover

SOFSEM'99: Theory and Practice of Informatics

26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Jan Pavelka

    1. DCIT, s.r.o, Prague 6, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gerard Tel

    1. Department of Computer Science, University of Utrecht, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Miroslav Bartošek

    1. Institute of Computer Science, Masaryk University, Brno, Czech Republic

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

Included in the following conference series:

Conference proceedings info: SOFSEM 1999.

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

  1. Contributed Papers

    1. UPV-Curry: An Incremental Curry Interpreter

      • M. Alpuente, S. Escobar, S. Lucas
      Pages 331-339

    2. Quantum Finite Multitape Automata

      • Andris Ambainis, Richard Bonner, Rūsiņš Freivalds, Marats Golovkins, Marek Karpinski
      Pages 340-348

    3. Decomposable Bulk Synchronous Parallel Computers

      • Martin Beran
      Pages 349-359

    4. Component Change and Version Identification in SOFA

      • Přemysl Brada
      Pages 360-368

    5. Pattern Equations and Equations with Stuttering

      • Ivana Černá, Ondřej Klíma, Jiří Srba
      Pages 369-378

    6. Garbage Collection for Mobile and Replicated Objects

      • Pablo Galdámez, Francesc D. Muñoz-Escoí, José M. Bernabéu-Aubán
      Pages 379-387

    7. Randomized Gossiping by Packets in Faulty Networks

      • Anna Gambin, Adam Malinowski
      Pages 387-394

    8. Object-Oriented Specification with the Parallel Multi-Label-Selective λ-calculus

      • Carlos Herrero, Javier Oliver
      Pages 395-403

    9. Simulation Problems for One-Counter Machine

      • Petr Jančar, Faron Moller, 1Zdeněk Sawa
      Pages 404-413

    10. On Semantics of Petri Nets Over Partial Algebra

      • Gabriel Juhás
      Pages 414-422

    11. Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals

      • Ivan Kramosil
      Pages 422-430

    12. Quantum Finite One-Counter Automata

      • Maksim Kravtsev
      Pages 431-440

    13. A Performance Comparison of Mobile Agents and RPC

      • David Rutter
      Pages 441-448

    14. Cyclic Cutwidth of the Mesh

      • Heiko Schröder, Ondrej Sýykoa, Imrich Vrt’o
      Pages 449-458

    15. Some Afterthoughts on Hopfield Networks

      • Jiří Šíma, Pekka Orponen, Teemu Antti­Poika
      Pages 459-469

    16. A persistent-Set Approach to Abstract State-Space Construction in Verification

      • Ulrich Ultes-Nitsche
      Pages 470-478

    17. Computational Power of Neuroidal Nets

      • Jiří Wiedermann
      Pages 479-487

    18. Cellular Automata with Dynamically Reconfigurable Buses

      • Thomas Worsch
      Pages 488-496

  2. Back Matter

    Pages 497-498
    Download chapter PDF
Back to top

Other volumes

  1. SOFSEM’99: Theory and Practice of Informatics

Keywords

About this book

This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the newly found freedom in our part of Europe and has evolved into a full-?edged international conference. For all the changes, however, it has kept its generalist and mul- disciplinarycharacter.Thetracksofinvitedtalks,rangingfromTrendsinTheory to Software and Information Engineering, attest to this. Apart from the topics mentioned above, SOFSEM’99 oer s invited talks exploring core technologies, talks tracing the path from data to knowledge, and those describing a wide variety of applications. TherichcollectionofinvitedtalkspresentsonetraditionalfacetofSOFSEM: that of a winter school, in which IT researchers and professionals get an opp- tunity to see more of the large pasture of today’s computing than just their favourite grazing corner. To facilitate this purpose the prominent researchers delivering invited talks usually start with a broad overview of the state of the art in a wider area and then gradually focus on their particular subject.

Editors and Affiliations

  • DCIT, s.r.o, Prague 6, Czech Republic

    Jan Pavelka

  • Department of Computer Science, University of Utrecht, Utrecht, The Netherlands

    Gerard Tel

  • Institute of Computer Science, Masaryk University, Brno, Czech Republic

    Miroslav Bartošek

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation