E-Book Overview
This book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2005, held in Liptovský Ján, Slovakia in January 2005.
The 28 revised full papers and 16 revised short papers presented together with 8 invited contributions were carefully reviewed and selected from 144 submissions. The papers were organized in four topical tracks on foundations of computer science, modeling and searching data in the web area, software engineering, and graph drawing and discrete computational mathematics.
E-Book Content
Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos New York University, NY, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany 3381 This page intentionally left blank Peter Vojtáš Mária Bieliková Bernadette Charron-Bost Ondrej Sýkora (Eds.) SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings Springer eBook ISBN: Print ISBN: 3-540-30577-7 3-540-24302-X ©2005 Springer Science + Business Media, Inc. Print ©2005 Springer-Verlag Berlin Heidelberg All rights reserved No part of this eBook may be reproduced or transmitted in any form or by any means, electronic, mechanical, recording, or otherwise, without written consent from the Publisher Created in the United States of America Visit Springer's eBookstore at: and the Springer Global Website Online at: http://ebooks.springerlink.com http://www.springeronline.com Preface This volume contains papers selected for presentation at the 31st Annual Conference on Current Trends in Theory and Practice of Informatics – SOFSEM 2005, held on January 22–28, 2005 in Liptovský Ján, Slovakia. The series of SOFSEM conferences, organized alternately in the Czech Republic and Slovakia since 1974, has a well-established tradition. The SOFSEM conferences were originally intended to break the Iron Curtain in scientific exchange. After the velvet revolution SOFSEM changed to a regular broad-scope international conference. Nowadays, SOFSEM is focused each year on selected aspects of informatics. This year the conference was organized into four tracks, each of them complemented by two invited talks: Foundations of Computer Science (Track Chair: Bernadette Charron-Bost) Modeling and Searching Data in the Web-Era (Track Chair: Peter Vojtáš) Software Engineering (Track Chair: Mária Bieliková) Graph Drawing (Track Chair: Ondrej Sýkora) The aim of SOFSEM 2005 was, as always, to promote cooperation among professionals from academia and industry working in various areas of informatics. Each track was complemented by two invited talks. The SOFSEM 2005 Program Committee members coming from 13 countries evaluated 144 submissions (128 contributed papers and 16 student research forum papers). After a careful review process (counting at least 3 reviews per paper), fo