22. SOFSEM 1995: Milovy, Czech Republic

Miroslav Bartosek, Jan Staudek, Jirí Wiedermann (Eds.): SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995, Proceedings. Lecture Notes in Computer Science 1012 Springer 1995, ISBN 3-540-60609-2 BibTeX

@proceedings{DBLP:conf/sofsem/1995,
  editor    = {Miroslav Bartosek and
               Jan Staudek and
               Jir\'{\i} Wiedermann},
  title     = {SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice
               of Informatics, Milovy, Czech Republic, November 23 - December
               1, 1995, Proceedings},
  booktitle = {SOFSEM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1012},
  year      = {1995},
  isbn      = {3-540-60609-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Fundamentals

Jirí Wiedermann: Parallel Machine Models: How They Are and Where Are They Going. 1-30 BibTeX
Petr Hájek: Fuzzy Logic From The Logical Point of View. 31-49 BibTeX
Gerard Tel: Sense of Direction in Processor Networks. 50-82 BibTeX
Hava T. Siegelmann: Welcoming the Super Turing Theories. 83-94 BibTeX
Bill G. Horne, Hava T. Siegelmann, C. Lee Giles: What NARX Networks Can Compute. 95-102 BibTeX

Databases

Keith G. Jeffery: Database: Introduction to Problems. 103-119 BibTeX
Jane Grimson: Distributed Information Systems. 120-145 BibTeX
Norman W. Paton: Extending Database Technology. 146-165 BibTeX

Software Engineering

A. J. G. Betts: Introducing SSADM4+ and PRINCE. 166-183 BibTeX
Juan Bicarregui, Brian Matthews: Formal Methods in Practice: A Comparison of Two Support Systems for Proof. 184-205 BibTeX
Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber: Development of Safety-Critical Real-Time Systems. 206-235 BibTeX
Egon Börger: Why Use Evolving Algebras for Hardware and Software Engineering? 236-271 BibTeX

Parallel & Distributed Systems, Scientific Computing

Christian Bac, Guy Bernard, Denis Conan, Quang Hong Nguyen, Chantal Taconet: Experience with Chorus. 272-291 BibTeX
Barbara M. Chapman, Piyush Mehrotra, Hans P. Zima: High-Level Languages for Parallel Scientific Computing. 292-314 BibTeX

Multimedia, Hypertext

Hermann A. Maurer: On Some New Aspects of Networked Multimedia Systems. 315-333 BibTeX
Ales Limpouch, Karel Charvát: Quo Vadis GIS: From GIS to GIMS and Open GIS. 334-349 BibTeX
Victoria A. Marshall: WWW - The World Wide Web. 350-362 BibTeX

Contributed Papers

Peter Borovanský: Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution. 363-368 BibTeX
Alessandro Cappelli, Cristina De Castro, Maria Rita Scalas: A Modular History-Oriented Access Structure for Bitemporal Relational Databases. 369-374 BibTeX
Hans-Werner Gellersen: Software Engineering Meets Human-Computer Interaction: Integrating User Interface Design in an Object-Oriented Methodology. 375-378 BibTeX
Tomás Holan, Vladislav Kubon, Martin Plátek: Parsing of Free-Word-Order Languages. 379-384 BibTeX
Esther Jennings: Distributed Algorithm for Finding a Core of a Tree Network. 385-390 BibTeX
Petr Kozák: Stepwise Synthesis of Reactive Programs. 391-398 BibTeX
Warren X. Li: A Simple and Efficient Incremental LL(1) parsing. 399-404 BibTeX
Salvador Lucas: Fundamentals of Context=Sensitive Rewriting. 405-412 BibTeX
Ludek Matyska, Hynek Bures: Constraint Logic Programming with Fuzzy Sets. 413-418 BibTeX
François Meunier, Petr Zemánek: Parallel Processing of Image Database Queries. 419-424 BibTeX
Lenka Motyckova: Maximum Flow Problem in Distributed Environment. 425-430 BibTeX
Nguyen Hoang Phuong: Fuzzy Set Theory and Medical Expert Systems: Survey and Model. 431-436 BibTeX
Alain Pirotte, Thierry Van den Berghe, Esteban Zimányi: The Fusion Object-Oriented Method: an Evaluation. 437-442 BibTeX
Zuzana Repaská: Integration of Object-Oriented Analysis and Algebraic Specifications. 443-448 BibTeX
Miroslav Rozlozník, Z. Strakos: On the Implementation of Some Residual Minimizing Krylov Space Methods. 449-454 BibTeX
Clara Smith, Carlos A. Tau: A Formal Lazy Replication Regime for Spreading Conversion Functions over Objectbases. 455-460 BibTeX
Jirí Síma: Hopfield Languages. 461-468 BibTeX
Julius Stuller: Inconsistency Conflict Resolution. 469-474 BibTeX
Efthimios Tambouris, Peter Van Santen: A Methodology for Performance and Scalability Analysis. 475-480 BibTeX
Miroslav Tuma, Miroslav Rozlozník: On the Efficiency of Superscalar and Vector Computer for some Problems in Scientif Computing. 481-486 BibTeX
Peter Vojtás, Leonard Paulík: Logic Programming in RPL and RQL. 487-492 BibTeX
Jan Zizka, Irena Snajdárková: Recognition of Handwritten Characters Using Instance-Based Learning Algorithms. 493-498 BibTeX