24. SOFSEM 1997: Milovy, Czech Republic

Frantisek Plasil, Keith G. Jeffery (Eds.): SOFSEM '97: Theory and Practice of Informatics, 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997, Proceedings. Lecture Notes in Computer Science 1338 Springer 1997, ISBN 3-540-63774-5

@proceedings{DBLP:conf/sofsem/1997,
  editor    = {Frantisek Plasil and
               Keith G. Jeffery},
  title     = {SOFSEM '97: Theory and Practice of Informatics, 24th Seminar
               on Current Trends in Theory and Practice of Informatics, Milovy,
               Czech Republic, November 22-29, 1997, Proceedings},
  booktitle = {SOFSEM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1338},
  year      = {1997},
  isbn      = {3-540-63774-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Fundamentals

Rainer Feldmann: Computer Chess: Algorithms and Heuristics for a Deep Look into the Future. 1-18
Marc J. van Kreveld: Algorithms for Triangulated Terrains. 19-36
Klaus-Jörn Lange: On the Distributed Realization of Parallel Algorithms. 37-52
Johann A. Makowsky, Elena V. Ravve: The Fundamental Problem of Database Design. 53-69
Jaroslav Nesetril, Daniel Turzík: Solving and Approximating Combinatorial Optimization Problems (Towards MAX CUT and TSP). 70-85
Pekka Orponen: The Computational Power of Continuous Time Neural Networks. 86-103
Klaus Weihrauch: A Foundation for Computable Analysis. 104-121
Jirí Wiedermann: Towards Machines That Can Think. 122-141
Henryk Wozniakowski: Computational Complexity of Continuous Problems. 142-143
Shmuel Zaks: Path Layout in ATM Networks. 144-160

Distributed And Parallel Computing

Stefan Covaci, Thomas Magedanz: The Mobile Agent Technology. 161-162
David A. Duce: Theory and Practice in Internationally Rich Distributed Systems. 163-182
Valérie Issarny: Configuration-Based Programming Systems. 183-200
Prakash K. Muthukrishnan, Barrett R. Bryant: Automatic Generation of Parallelizing Compilers for Object-Oriented Programming Languages from Denotational Semantics Specifications. 201-218

Software Engeneering And Methodology

Dines Bjørner: A Formal Software Engeneering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi. 219-248
Annie Kuntzmann-Combelles: The Whole Picture to Software Process Improvement. 249-265
Wolfgang Pree: Object-Oriented Design Patterns. 266-274

Databases And Information Systems

Klaus R. Dittrich, Andreas Geppert: Object-Oriented DBMS and Beyond. 275-294
Maria E. Orlowska, Hui Li, Chengfei Liu: On Integration of Relational and Object-Oriented Database Systems. 295-312
M. Howard Williams, Norman W. Paton: From OO Through Deduction to Active Databases - ROCK, ROLL & RAP. 313-330
Jiri Zara: An Introduction to Virtual Reality Modeling Language. 331-348
Jirí Zlatuska: Stepping Stones to an Information Society. 349-372

Contributed Papers

Luca Becchetti, Carlo Gaibisso: Lower Bounds for the Virtual Path Layout Problem in ATM Networks. 375-382
Bingning Dai, David A. Bell, John G. Hughes: Query Processing in Temporal Evidential Databases. 383-390
Cristina De Castro: A First Approach to Temporal Predicate Locking for Concurrency Detection in Temporal Relational Databases Supporting Schema Versioning. 391-398
Carlo Gaibisso, Guido Proietti: Efficient Insertion of Approximately Sorted Seqeunces of Items into a Dictionary. 399-406
Pablo Galdámez, Francesc D. Muñoz-Escoí, José M. Bernabéu-Aubán: High Availability Support in CORBA Environments. 407-414
Vladimír Glasnák: On f-Sparse Sets in NP - P. 415-422
Markus Hof, Hanspeter Mössenböck, Peter Pirkelbauer: Zero-Overhead Exeption Handling Using Metaprogramming. 423-431
Jan Janousek, Borivoj Melichar: The Output-Store Formal Translator Directed by LR Parsing. 432-439
Jiri Kadlec: Parallel Processing on Alphas Under MATLAB 5. 440-447
Petr Kolman: PRAM Lower Bound for Element Distinctness Revisited. 448-455
Ivan Kopecek: Optimal Trees for Searching in Codebook. 456-463
Rastislav Kralovic: Time Optimal Self-Stabilizing Algorithms. 464-472
Petr Kroha, M. Strauß: Requirements Specification Iteratively Combined with Reverse. 473-480
Antonín Kucera: On Finite Representations of Infinite-State Behaviours. 481-488
Salvador Lucas: Efficient Strong Sequentiality Using Replacement Restrictions. 489-496
Massimo Marchiori: Optmial Encodings. 497-504
Frantisek Mráz, Martin Plátek, Petr Jancar, Jörg Vogel: Monotonic Rewriting Automata with a Restart Operation. 505-512
Shan-Hwei Nienhuys-Cheng, Arie de Bruin: Kahn's Fixed-Point Characterization for Linear Dynamic Networks. 513-522
Karel Pala, Pavel Rychlý, Pavel Smrz: DESAM - Annotated Corpus for Czech. 523-530
Yvan Peter: Mobility Management in CORBA: A Generic Implementation of the LifeCycle Service. 531-538
Wim Pijls, Arie de Bruin: A Theory of Game Trees, Based on Solution Trees. 539-546
Heiko Schröder, A. E. May, Imrich Vrto, Ondrej Sýkora: Approximation Algorithms for the Vertex Bipartization Problem. 547-554
Heiko Schröder, Ondrej Sýkora, Imrich Vrto: Optical All-to-All Communication for Some Product Graphs. 555-562
David Strupl, Roman Neruda: Parallelizing Self-Organizing Maps. 563-570