› › Esop 92

ESOP '92

Author : Bernd Krieg-Brückner

Publisher : Springer Science & Business Media

Page : 508 pages

File Size : 12,65 MB

Release : 1992-02-19

Category : Computers

ISBN : 9783540552536

Get eBook

Book Description

This volume contains selected papers presented at the European Symposium on Programming (ESOP) held jointly with the seventeeth Colloquium on Trees in Algebra and Programming (CAAP) in Rennes, France, February 26-28, 1992 (the proceedings of CAAP appear in LNCS 581). The previous symposiawere held in France, Germany, and Denmark. Every even year, as in 1992, CAAPis held jointly with ESOP. ESOP addresses fundamental issues and important developments in the specification and implementation of programming languages and systems. It continues lines begun in France and Germany under the names "Colloque sur la Programmation" and the GI workshop on "Programmiersprachen und Programmentwicklung". The programme committee received 71 submissions, from which 28 have been selected for inclusion in this volume.



Entity-Relationship Approach - ER '92

Author : Günther Pernul

Publisher : Springer Science & Business Media

Page : 460 pages

File Size : 42,22 MB

Release : 1992-10-05

Category : Computers

ISBN : 9783540560234

Get eBook

Book Description

This volume comprises the proceedings of the Eleventh International Conference on the Entity-Relationship Approach held in Karlsruhe, Germany, October 7-9, 1992. It contains the full versions of all the 22 accepted papers selected from in total 64 submissions; in addition, the two invited talks by Scheer and by Tsichritzis and others are represented asfull papers and the two other invited speakers contribute extended abstracts. All the contributions describe original research related to theoretical or practical aspects of the Entity-Relationship Approach,reflecting the trend of recent years in a wide range of database research activities. In particular, the topics database design aspects, object-orientation, integrity constraints, query languages, knowledge-based techniques, and development of new applications are addressed.



CONCUR '92

Author : Walter R. Cleaveland

Publisher : Springer Science & Business Media

Page : 596 pages

File Size : 31,54 MB

Release : 1992-08-12

Category : Mathematics

ISBN : 9783540558224

Get eBook

Book Description

This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems.



Algorithm Theory - SWAT '92

Author : Otto Nurmi

Publisher : Springer Science & Business Media

Page : 454 pages

File Size : 12,9 MB

Release : 1992-06-24

Category : Computers

ISBN : 9783540557067

Get eBook

Book Description

The papers in this volume were presented at SWAT 92, the Third Scandinavian Workshop on Algorithm Theory. The workshop, which continues the tradition ofSWAT 88, SWAT 90, and the Workshop on Algorithms and Data Structures (WADS 89, WADS 91), is intended as an international forum for researchers in the area of design and analysis of algorithms. The volume contains invited papers by L.G. Valiant (Direct bulk-synchronous parallel algorithms), A.A. Razborov (On small depth threshold circuits), G. Gonnet (Efficient two-dimensional searching), and E. Welzl (New results on linear programming and related problems), together with 34 selected contributed papers. Contributions cover algorithms and data structures in all areas, including combinatorics, computational geometry, data bases, parallel and distributed computing, and graphics.



Database Theory - ICDT '92

Author : Joachim Biskup

Publisher : Springer Science & Business Media

Page : 466 pages

File Size : 45,56 MB

Release : 1992-10-05

Category : Computers

ISBN : 9783540560395

Get eBook

Book Description

The papers in this volume were presented at the International Conference on Database Theory, held in Berlin, Germany, October 14-16, 1992. This conference initiated the merger of two series of conferences on theoretical aspects of databases that were formed in parallel by different scientific communities in Europe. The first series was known as the International Conference on Database Theory and the second as the Symposium on Mathematical Fundamentals of Database Systems. In the future, ICDT will be organized every two years, alternating with the more practically oriented series of conferences on Extending Database Technology (EDBT). The volume contains 3 invited lectures and 26 contributed papers selected from a total of 107 submissions. The papers are organized into sections on constraints and decomposition, query languages, updates and active databases, concurrency control and recovery, knowledge bases, datalog complexity and optimization, object orientation, information capacity and security, and data structures and algorithms. Two of the invited papers survey research into theoretical database issues done in Eastern Europe during the past decade.



Advanced Database Systems

Author : Peter M.D. Gray

Publisher : Springer Science & Business Media

Page : 280 pages

File Size : 48,52 MB

Release : 1992-06-24

Category : Computers

ISBN : 9783540556930

Get eBook

Book Description

The theme of this book is the potential of new advanced database systems. The volume presents the proceedings of the 10th British National Conference on Databases, held in Aberdeen, Scotland, in July 1992. The volume contains two invited papers, one on the promise of distributed computing andthe challenges of legacy systems by M.L. Brodie, and the other on object-oriented requirements capture and analysis and the Orca project by D.J.L. Gradwell. The following four parts each contain three submitted papers selected from a total of 36 submissions. The parts are entitled: - Object-oriented databases - Parallel implementationsand industrial systems - Non-relational data models - Logic programming and databases



Analysis and Verification of Multiple-Agent Languages

Author : Mads Dam

Publisher : Springer Science & Business Media

Page : 452 pages

File Size : 49,63 MB

Release : 1997-01-07

Category : Computers

ISBN : 9783540625032

Get eBook

Book Description

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages. The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.



LATIN '92

Author : Imre Simon

Publisher : Springer Science & Business Media

Page : 564 pages

File Size : 44,71 MB

Release : 1992-03-11

Category : Computers

ISBN : 9783540552840

Get eBook

Book Description

This volume contains the proceedings of LATIN '92, a theoretical computer science symposium (Latin American Theoretical Informatics) held in S o Paulo, Brazil in April 1992. LATIN is intended to be a comprehensive symposium in the theory of computing, but for this first meeting the following areas were chosen for preferential coverage: algorithms and data structures, automata and formal languages, computability and complexity theory, computational geometry, cryptography, parallel and distributed computation, symbolic and algebraic computation, and combinatorial and algebraic aspects of computer science. The volume includesfull versions of the invited papers by 11 distinguished guest lecturers as well as 32 contributed papers selected from 66 submissions from authors with affiliations in 26 countries.



Computer Security - ESORICS 92

Author : Yves Deswarte

Publisher : Springer

Page : 445 pages

File Size : 34,53 MB

Release : 2006-04-10

Category : Computers

ISBN : 3540474889

Get eBook

Book Description

This volume presents the proceedings of the second European Symposium on Research in Computer Security (ESORICS 92), held in Toulouse in November 1992. The aim of this symposium is to further the progress of research in computer security by bringing together researchers in this area, by promoting the exchange of ideas with system developers, and by encouraging links with researchers in areas related to computer science, informationtheory, and artificial intelligence. The volume contains 24 papers organizedinto sections on access control, formal methods, authentication, distributed systems, database security, system architectures, and applications. ESORICS 92 was organized by AFCET (Association francaise des sciences et technologies de l'information et des syst mes) in cooperation with a large number of national and international societies and institutes.



Future-Proof Software-Systems

Author : Frank J. Furrer

Publisher : Springer

Page : 395 pages

File Size : 35,56 MB

Release : 2019-09-25

Category : Computers

ISBN : 3658199385

Get eBook

Book Description

This book focuses on software architecture and the value of architecture in the development of long-lived, mission-critical, trustworthy software-systems. The author introduces and demonstrates the powerful strategy of “Managed Evolution,” along with the engineering best practice known as “Principle-based Architecting.” The book examines in detail architecture principles for e.g., Business Value, Changeability, Resilience, and Dependability. The author argues that the software development community has a strong responsibility to produce and operate useful, dependable, and trustworthy software. Software should at the same time provide business value and guarantee many quality-of-service properties, including security, safety, performance, and integrity. As Dr. Furrer states, “Producing dependable software is a balancing act between investing in the implementation of business functionality and investing in the quality-of-service properties of the software-systems.” The book presents extensive coverage of such concepts as: Principle-Based Architecting Managed Evolution Strategy The Future Principles for Business Value Legacy Software Modernization/Migration Architecture Principles for Changeability Architecture Principles for Resilience Architecture Principles for Dependability The text is supplemented with numerous figures, tables, examples and illustrative quotations. Future-Proof Software-Systems provides a set of good engineering practices, devised for integration into most software development processes dedicated to the creation of software-systems that incorporate Managed Evolution.