Ebook: 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

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.

---

This book constitutes the refereed proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'99, held in Milovy, Czech Republic, in November/December 1999.
The volume presents 19 invited survey articles by leading researchers together with 18 revised full research papers selected from 45 submissions. The areas covered include trends in theory, core technologies, software and information engineering, from data to knowledge, and advanced applications.

---

This book constitutes the refereed proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'99, held in Milovy, Czech Republic, in November/December 1999.
The volume presents 19 invited survey articles by leading researchers together with 18 revised full research papers selected from 45 submissions. The areas covered include trends in theory, core technologies, software and information engineering, from data to knowledge, and advanced applications.
Content:
Front Matter....Pages I-XII
Quantum Challenges....Pages 1-28
Stability of Approximation Algorithms for Hard Optimization Problems....Pages 29-47
Algorithms on Compressed Strings and Arrays....Pages 48-65
WWW Based Collaboration with the BSCW System....Pages 66-78
Middleware and Quality of Service....Pages 79-94
Dynamic Reconfiguration of CORBA-Based Applications....Pages 95-111
Fast, Error Correcting Parser Combinators: A Short Tutorial....Pages 112-131
IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications....Pages 132-149
Databases and the World Wide Web....Pages 150-162
Exploiting Formality in Software Engineering....Pages 163-180
Biomolecular Computing and Programming....Pages 181-188
Software Change and Evolution....Pages 189-202
Distributed Simulation with Cellular Automata: Architecture and Applications....Pages 203-248
Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors....Pages 249-260
On Interactive Computation: Intelligent Tutoring Systems....Pages 261-263
Coherent Concepts, Robust Learning....Pages 264-276
Application of Artificial Neural Networks for Different Engineering Problems....Pages 277-294
Factor Oracle: A New Structure for Pattern Matching....Pages 295-310
Principles of Forecasting — A Short Overview....Pages 311-327
UPV-Curry: An Incremental Curry Interpreter....Pages 331-339
Quantum Finite Multitape Automata....Pages 340-348
Decomposable Bulk Synchronous Parallel Computers....Pages 349-359
Component Change and Version Identification in SOFA....Pages 360-368
Pattern Equations and Equations with Stuttering....Pages 369-378
Garbage Collection for Mobile and Replicated Objects....Pages 379-387
Randomized Gossiping by Packets in Faulty Networks....Pages 387-394
Object-Oriented Specification with the Parallel Multi-Label-Selective ?-calculus....Pages 395-403
Simulation Problems for One-Counter Machine....Pages 404-413
On Semantics of Petri Nets Over Partial Algebra....Pages 414-422
Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals....Pages 422-430
Quantum Finite One-Counter Automata....Pages 431-440
A Performance Comparison of Mobile Agents and RPC....Pages 441-448
Cyclic Cutwidth of the Mesh....Pages 449-458
Some Afterthoughts on Hopfield Networks....Pages 459-469
A persistent-Set Approach to Abstract State-Space Construction in Verification....Pages 470-478
Computational Power of Neuroidal Nets....Pages 479-487
Cellular Automata with Dynamically Reconfigurable Buses....Pages 488-496
Back Matter....Pages 497-498

---

This book constitutes the refereed proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'99, held in Milovy, Czech Republic, in November/December 1999.
The volume presents 19 invited survey articles by leading researchers together with 18 revised full research papers selected from 45 submissions. The areas covered include trends in theory, core technologies, software and information engineering, from data to knowledge, and advanced applications.
Content:
Front Matter....Pages I-XII
Quantum Challenges....Pages 1-28
Stability of Approximation Algorithms for Hard Optimization Problems....Pages 29-47
Algorithms on Compressed Strings and Arrays....Pages 48-65
WWW Based Collaboration with the BSCW System....Pages 66-78
Middleware and Quality of Service....Pages 79-94
Dynamic Reconfiguration of CORBA-Based Applications....Pages 95-111
Fast, Error Correcting Parser Combinators: A Short Tutorial....Pages 112-131
IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications....Pages 132-149
Databases and the World Wide Web....Pages 150-162
Exploiting Formality in Software Engineering....Pages 163-180
Biomolecular Computing and Programming....Pages 181-188
Software Change and Evolution....Pages 189-202
Distributed Simulation with Cellular Automata: Architecture and Applications....Pages 203-248
Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors....Pages 249-260
On Interactive Computation: Intelligent Tutoring Systems....Pages 261-263
Coherent Concepts, Robust Learning....Pages 264-276
Application of Artificial Neural Networks for Different Engineering Problems....Pages 277-294
Factor Oracle: A New Structure for Pattern Matching....Pages 295-310
Principles of Forecasting — A Short Overview....Pages 311-327
UPV-Curry: An Incremental Curry Interpreter....Pages 331-339
Quantum Finite Multitape Automata....Pages 340-348
Decomposable Bulk Synchronous Parallel Computers....Pages 349-359
Component Change and Version Identification in SOFA....Pages 360-368
Pattern Equations and Equations with Stuttering....Pages 369-378
Garbage Collection for Mobile and Replicated Objects....Pages 379-387
Randomized Gossiping by Packets in Faulty Networks....Pages 387-394
Object-Oriented Specification with the Parallel Multi-Label-Selective ?-calculus....Pages 395-403
Simulation Problems for One-Counter Machine....Pages 404-413
On Semantics of Petri Nets Over Partial Algebra....Pages 414-422
Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals....Pages 422-430
Quantum Finite One-Counter Automata....Pages 431-440
A Performance Comparison of Mobile Agents and RPC....Pages 441-448
Cyclic Cutwidth of the Mesh....Pages 449-458
Some Afterthoughts on Hopfield Networks....Pages 459-469
A persistent-Set Approach to Abstract State-Space Construction in Verification....Pages 470-478
Computational Power of Neuroidal Nets....Pages 479-487
Cellular Automata with Dynamically Reconfigurable Buses....Pages 488-496
Back Matter....Pages 497-498
....