Ebook: SOFSEM '95: Theory and Practice of Informatics: 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings

This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas.
The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics.

---

This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas.
The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics.

---

This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas.
The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics.
Content:
Front Matter....Pages -
Parallel machine models: How they are and where are they going....Pages 1-30
Fuzzy logic from the logical point of view....Pages 31-49
Sense of direction in processor networks....Pages 50-82
Welcoming the super Turing theories....Pages 83-94
What NARX networks can compute....Pages 95-102
Database: Introduction to problems....Pages 103-119
Distributed Information Systems....Pages 120-145
Extending database technology....Pages 146-165
Introducing SSADM4+ and PRINCE....Pages 166-183
Formal methods in practice: A comparison of two support systems for proof....Pages 184-205
Development of safety-critical real-time systems....Pages 206-235
Why use evolving algebras for hardware and software engineering?....Pages 236-271
Experience with chorus....Pages 272-291
High-level languages for parallel scientific computing....Pages 292-314
On some new aspects of networked multimedia systems....Pages 315-333
Quo vadis GIS: From GIS to GIMS and Open GIS....Pages 334-349
WWW — The World Wide Web....Pages 350-362
Implementation of higher-order unification based on calculus of explicit substitution....Pages 363-368
A modular history-oriented access structure for bitemporal relational databases....Pages 369-374
Software engineering meets human-computer interaction: Integrating user interface design in an object-oriented methodology....Pages 375-378
Parsing of free-word-order languages....Pages 379-384
Distributed algorithm for finding a core of a tree network....Pages 385-390
Stepwise synthesis of reactive programs....Pages 391-398
A simple and efficient incremental LL(1) parsing....Pages 399-404
Fundamentals of context-sensitive rewriting....Pages 405-412
Constraint Logic Programming with Fuzzy Sets....Pages 413-418
Parallel processing of image database queries....Pages 419-424
Maximum flow problem in distributed environment....Pages 425-430
Fuzzy set theory and medical expert systems: Survey and model....Pages 431-436
The Fusion object-oriented method: an evaluation....Pages 437-442
Integration of Object-Oriented analysis and Algebraic specifications....Pages 443-448
On the implementation of some residual minimizing Krylov space methods....Pages 449-454
A formal lazy replication regime for spreading conversion functions over objectbases....Pages 455-460
Hopfleid languages....Pages 461-468
Inconsistency conflict resolution....Pages 469-474
A methodology for performance and scalability analysis....Pages 475-480
On the efficiency of superscalar and vector computer for some problems in scientific computing....Pages 481-486
Logic programming in RPL and RQL....Pages 487-492
Recognition of handwritten characters using Instance-Based Learning Algorithms....Pages 493-498
Back Matter....Pages -

---

This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas.
The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics.
Content:
Front Matter....Pages -
Parallel machine models: How they are and where are they going....Pages 1-30
Fuzzy logic from the logical point of view....Pages 31-49
Sense of direction in processor networks....Pages 50-82
Welcoming the super Turing theories....Pages 83-94
What NARX networks can compute....Pages 95-102
Database: Introduction to problems....Pages 103-119
Distributed Information Systems....Pages 120-145
Extending database technology....Pages 146-165
Introducing SSADM4+ and PRINCE....Pages 166-183
Formal methods in practice: A comparison of two support systems for proof....Pages 184-205
Development of safety-critical real-time systems....Pages 206-235
Why use evolving algebras for hardware and software engineering?....Pages 236-271
Experience with chorus....Pages 272-291
High-level languages for parallel scientific computing....Pages 292-314
On some new aspects of networked multimedia systems....Pages 315-333
Quo vadis GIS: From GIS to GIMS and Open GIS....Pages 334-349
WWW — The World Wide Web....Pages 350-362
Implementation of higher-order unification based on calculus of explicit substitution....Pages 363-368
A modular history-oriented access structure for bitemporal relational databases....Pages 369-374
Software engineering meets human-computer interaction: Integrating user interface design in an object-oriented methodology....Pages 375-378
Parsing of free-word-order languages....Pages 379-384
Distributed algorithm for finding a core of a tree network....Pages 385-390
Stepwise synthesis of reactive programs....Pages 391-398
A simple and efficient incremental LL(1) parsing....Pages 399-404
Fundamentals of context-sensitive rewriting....Pages 405-412
Constraint Logic Programming with Fuzzy Sets....Pages 413-418
Parallel processing of image database queries....Pages 419-424
Maximum flow problem in distributed environment....Pages 425-430
Fuzzy set theory and medical expert systems: Survey and model....Pages 431-436
The Fusion object-oriented method: an evaluation....Pages 437-442
Integration of Object-Oriented analysis and Algebraic specifications....Pages 443-448
On the implementation of some residual minimizing Krylov space methods....Pages 449-454
A formal lazy replication regime for spreading conversion functions over objectbases....Pages 455-460
Hopfleid languages....Pages 461-468
Inconsistency conflict resolution....Pages 469-474
A methodology for performance and scalability analysis....Pages 475-480
On the efficiency of superscalar and vector computer for some problems in scientific computing....Pages 481-486
Logic programming in RPL and RQL....Pages 487-492
Recognition of handwritten characters using Instance-Based Learning Algorithms....Pages 493-498
Back Matter....Pages -
....