Advances in Computing and Information - ICCI '91
Advances in Computing and Information - ICCI '91

Author: Frank Dehne

Publisher: Springer Science & Business Media

Published: 1991-05-07

Total Pages: 762

ISBN-13: 9783540540298

DOWNLOAD EBOOK

This volume contains papers presented at the Third International Conference on Computing and Information, ICCI '91, held at Carleton University in Ottawa, Canada, May 27-29, 1991. The conference was organized by the School of Computer Science at Carleton University, and was sponsored by the Natural Sciences and Engineering Research Council of Canada (NSERC) and Carleton University. ICCI '91 was an international forum for the presentation of original results in research, development, and applications in computing and information processing. The conference was aimed at both practitioners and theoreticians, and was organized into five streams: - Algorithms and complexity, - Databases and information systems, - Parallel processing and systems, - Distributed computing and systems, - Expert systems, artificial intelligence. This volume contains three invited papers, by E.C.R. Hehner, R.L. Probert, and S.J. Smith, and 71 selected papers.

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.

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

Author: Soren Prehn

Publisher: Springer Science & Business Media

Published: 1991-10-14

Total Pages: 452

ISBN-13: 9783540548683

DOWNLOAD EBOOK

The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by the VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of reasearchers, software engineers, and programmers, all interested in prommoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains the conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, THE B Method, and The Stack). They present a comprehensive account of the state of theart.

Graph-Theoretic Concepts in Computer Science
Graph-Theoretic Concepts in Computer Science

Author: Gunther Schmidt

Publisher: Springer Science & Business Media

Published: 1992-01-29

Total Pages: 268

ISBN-13: 9783540551218

DOWNLOAD EBOOK

This volume contains contributions to the 17th International workshop on Graph-Theoretic Concepts in Computer Science (WG '91) held in Southern Bavaria in June 1991. These annual workshops are designed to bring together researchers using graph-theoretic methods to discuss new developments relating to or emerging from a diversity of application fields. The topics covered in this volume include: tree-related problems, graph grammarsand rewriting, complexity, computational geometry, parallel algorithms, vertex orderings, path-oriented algorithms, applications to VLSI, and disjoint cycle problems.

The Problem of Incomplete Information in Relational Databases
The Problem of Incomplete Information in Relational Databases

Author: G. Grahne

Publisher: Springer Science & Business Media

Published: 1991-11-13

Total Pages: 174

ISBN-13: 9783540549192

DOWNLOAD EBOOK

Reviews of Environmental Contamination and Toxicology publishes authoritative reviews on the occurrence, effects, and fate of pesticide residues and other environmental contaminants. It will keep you informed of the latest significant issues by providing in-depth information in the areas of analytical chemistry, agricultural microbiology, biochemistry, human and veterinary medicine, toxicology, and food technology.

Attribute Grammars, Applications and Systems
Attribute Grammars, Applications and Systems

Author: Henk Alblas

Publisher: Springer Science & Business Media

Published: 1991-10-23

Total Pages: 536

ISBN-13: 9783540545729

DOWNLOAD EBOOK

Attribute grammars have shown themselves to be a useful formalism for specifying the syntax and the static semantics of programming languages. They are also useful for implementing syntax-directed editors, compilers, translator writing systems and compiler generators, and any application that has a strong syntactic base. However, no textbooks are available that cover the entire field. To redress this imbalance, anInternational Summer School on Attribute Grammars, Applications and Systems was held in Prague, Czechoslovakia in June 1991. The course aimed at teaching the state of the art in attribute grammars, and their relation to other language specification methods. This volume presents the proceedings of the school. The papers are well suited for self-study, and a selection of them can be used for introductory courses in attribute grammars.

Computational Geometry - Methods, Algorithms and Applications
Computational Geometry - Methods, Algorithms and Applications

Author: Hanspeter Bieri

Publisher: Springer Science & Business Media

Published: 1991-11-13

Total Pages: 340

ISBN-13: 9783540548911

DOWNLOAD EBOOK

Radiocarbon After Four Decades: An Interdisciplinary Perspective commemorates the 40th anniversary of radiocarbon dating. The volume presents discussions of every aspect of this dating technique, as well as chronicles of its development and views of future advancements and applications. All of the 64 authors played major roles in establishment, development or application of this revolutionary scientific tool. The 35 chapters provide a solid foundation in the essential topics of radiocarbon dating: Historical Perspectives; The Natural Carbon Cycle; Instrumentation and Sample Preparation; Hydrology; Old World Archaeology; New World Archaeology; Earth Sciences; and Biomedical Applications.

Methods of Programming
Methods of Programming

Author: Manfred Broy

Publisher: Springer Science & Business Media

Published: 1991-10-23

Total Pages: 292

ISBN-13: 9783540545767

DOWNLOAD EBOOK

The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.

Computer-Aided Verification
Computer-Aided Verification

Author: Edmund M. Clarke

Publisher: Springer Science & Business Media

Published: 1991-10-02

Total Pages: 392

ISBN-13: 9783540544777

DOWNLOAD EBOOK

This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations and proof-checking in controller verification. The motivation for holding a workshop on computer aided verification was to bring together work on effective algorithms or methodologies for formal verification - as distinguished, say,from attributes of logics or formal languages. The considerable interest generated by the first workshop, held in Grenoble, June 1989 (see LNCS 407), prompted this second meeting. The general focus of this volume is on the problem of making formal verification feasible for various models of computation. Specific emphasis is on models associated with distributed programs, protocols, and digital circuits. The general test of algorithm feasibility is to embed it into a verification tool, and exercise that tool on realistic examples: the workshop included sessionsfor the demonstration of new verification tools.

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.