ESEC '91
ESEC '91

Author: Alfonso Fuggetta

Publisher: Springer Science & Business Media

Published: 1991-10-09

Total Pages: 536

ISBN-13: 9783540547426

DOWNLOAD EBOOK

The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with the aim of providing an international forum for researchers, developersand users of software engineering technology. The need for a meeting point to discuss new results and useful experiences was clear from the large amount of high-quality European software engineering researchin recent years, stimulated, for example, through major European research programmes. The 22 papers in these proceedings were selected from 133 papers submitted from 26 different countries. They cover a fairly broad range of themes such as formal methods and practical experiences with them, special techniques for real-time systems, software evolution and re-engineering, software engineering environments, and software metrics. Invited papers by well-known experts address further important areas: perspectives on configuration management, software factories, user interfacedesign, computer security, and technology transfer.

Software Engineering - ESEC '95
Software Engineering - ESEC '95

Author: Wilhelm Schäfer

Publisher: Springer Science & Business Media

Published: 1995-09-13

Total Pages: 540

ISBN-13: 9783540604068

DOWNLOAD EBOOK

This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering, real-time, software metrics, concurrency, version and configuration management, formal methods, design process, program analysis, software quality, and object-oriented software development.

Parallel Execution of Logic Programs
Parallel Execution of Logic Programs

Author: Anthony Beaumont

Publisher: Springer Science & Business Media

Published: 1991-12-11

Total Pages: 212

ISBN-13: 9783540550389

DOWNLOAD EBOOK

Logic programming refers to execution of programs written in Horn logic. Among the advantages of this style of programming are its simple declarativeand procedural semantics, high expressive power and inherent nondeterminism. The papers included in this volume were presented at the Workshop on Parallel Logic Programming held in Paris on June 24, 1991, as part of the 8th International Conference on Logic Programming. The papers represent the state of the art in parallel logic programming, and report the current research in this area, including many new results. The three essential issues in parallel execution of logic programs which the papers address are: - Which form(s) of parallelism (or-parallelism, and-parallelism, stream parallelism, data-parallelism, etc.) will be exploited? - Will parallelism be explicitly programmed by programmers, or will it be exploited implicitly without their help? - Which target parallel architecture will the logic program(s) run on?

Recent Issues in Pattern Analysis and Recognition
Recent Issues in Pattern Analysis and Recognition

Author: Virginio Cantoni

Publisher: Springer Science & Business Media

Published: 1989-12-20

Total Pages: 1060

ISBN-13: 9783540518150

DOWNLOAD EBOOK

This book offers readers a broad view of research in some Western and Eastern European countries on pattern and signal analysis, and on coding, handling and measurement of images. It is a selection of refereed papers from two sources: first, a satellite conference within the biannual International Conference on Pattern Recognition held in Rome, November 14-17, 1988, and second, work done at the International Basic Laboratory on Image Processing and Computer Graphics, Berlin, GDR. The papers are grouped into three sections. The first section contains new proposals for the specific computation of particular features of digital images and the second section is devoted to the introduction and testing of general approaches to the solution of problems met in digital geometry, image coding, feature extraction and object classification. The third section illustrates some recent practical results obtained on real images specifically in character and speech recognition as well as in biomedicine. All the techniques illustrated in this book will find direct application in the near future. This book should interest and stimulate the reader, provoke new thoughts and encourage further research in this widely appealing field.

Real-Time: Theory in Practice
Real-Time: Theory in Practice

Author: J.W.de Bakker

Publisher: Springer Science & Business Media

Published: 1992-06-24

Total Pages: 740

ISBN-13: 9783540555643

DOWNLOAD EBOOK

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.

Distributed Algorithms
Distributed Algorithms

Author: Sam Toueg

Publisher: Springer Science & Business Media

Published: 1992-03-11

Total Pages: 340

ISBN-13: 9783540552369

DOWNLOAD EBOOK

This volume contains the proceedings of the fifth International Workshop on Distributed Algorithms (WDAG '91) held in Delphi, Greece, in October 1991. The workshop provided a forum for researchers and others interested in distributed algorithms, communication networks, and decentralized systems. The aim was to present recent research results, explore directions for future research, and identify common fundamental techniques that serve as building blocks in many distributed algorithms. The volume contains 23 papers selected by the Program Committee from about fifty extended abstracts on the basis of perceived originality and quality and on thematic appropriateness and topical balance. The workshop was organizedby the Computer Technology Institute of Patras University, Greece.

Algebraic Coding
Algebraic Coding

Author: Gerard Cohen

Publisher: Springer Science & Business Media

Published: 1992-02-12

Total Pages: 178

ISBN-13: 9783540551300

DOWNLOAD EBOOK

This volume presents the proceedings of the first French-Soviet workshop on algebraic coding, held in Paris in July 1991. The idea for the workshop, born in Leningrad (now St. Petersburg) in 1990, was to bring together some of the best Soviet coding theorists. Scientists from France, Finland, Germany, Israel, Italy, Spain, and the United States also attended. The papers in the volume fall rather naturally into four categories: - Applications of exponential sums - Covering radius - Constructions -Decoding.

Relational Matching
Relational Matching

Author: George Vosselman

Publisher: Springer Science & Business Media

Published: 1992-09-10

Total Pages: 212

ISBN-13: 9783540557982

DOWNLOAD EBOOK

This is an introduction to recursive functions intended for graduate students. It presupposes some mathematical maturity and a slight aquaintancewith some important topics, such as group theory and topology. Some acquaintance with logic is desirable but not essential. It introduces the main topics of recusion theory, such as hierarchy theory, RE sets, and undecidable theories, without going very deeply into any of them.

Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems

Author: Jan Vytopil

Publisher: Springer Science & Business Media

Published: 1991-12-11

Total Pages: 636

ISBN-13: 9783540550921

DOWNLOAD EBOOK

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.

Computer Vision--ECCV '92
Computer Vision--ECCV '92

Author: Giulio Sandini

Publisher: Springer Science & Business Media

Published: 1992-04-29

Total Pages: 932

ISBN-13: 9783540554264

DOWNLOAD EBOOK

This volume collects the papers accepted for presentation at the Second European Conference on Computer Vision, held in Santa Margherita Ligure, Italy, May 19-22, 1992. Sixteen long papers, 41 short papers and 48 posters were selected from 308 submissions. The contributions are structured into 14 sections reflecting the major research topics in computer vision currently investigated worldwide. The sections are entitled: features, color, calibration and matching, depth, stereo-motion, tracking, active vision, binocular heads, curved surfaces and objects, reconstruction and shape, recognition, and applications.