Catalog of Copyright Entries. Third Series

Catalog of Copyright Entries. Third Series
Author: Library of Congress. Copyright Office
Publisher: Copyright Office, Library of Congress
Total Pages: 1116
Release: 1964
Genre: Copyright
ISBN:

Includes Part 1, Number 2: Books and Pamphlets, Including Serials and Contributions to Periodicals July - December)

Ada: Moving Towards 2000

Ada: Moving Towards 2000
Author: Jan Katwijk
Publisher: Springer Science & Business Media
Total Pages: 340
Release: 1992-05-25
Genre: Computers
ISBN: 9783540555858

Software engineering and the language Ada are playing a major role in the development of software and software technology for the new century. The11th Ada Europe conference shows that Ada has matured from a language, mainly of researchers and academics in the early 1980s, into a full-grown tool in software engineering practice. This volume contains a selection of contributions to the conference. They demonstrate that Ada is very beneficially used in many software development projects and is gradually becoming accepted on the scale it deserves. Papers have been selected that show that Ada is indeed ripened in all aspects of software engineering. A variety of topics is addressed: management, economics, practical experiences, numerics, and the use of Ada for real-time and distributed systems.

Empirical Foundations of Information and Software Science V

Empirical Foundations of Information and Software Science V
Author: Pranas Zunde
Publisher: Springer Science & Business Media
Total Pages: 455
Release: 2012-12-06
Genre: Computers
ISBN: 1468458620

This is the proceedings of the Sixth Symposium on Empirical Foundations of Information and Software Sciences (EFISS), which was held in Atlanta, Georgia, on October 19-21, 1988. The purpose of the symposia is to explore subjects and methods of scientific inquiry which are of common interest to information and software sciences, and to identify directions of research that would benefit from the mutual interaction of these two disciplines. The main theme of the sixth symposium was modeling in information and software engineering, with emphasis on methods and tools of modeling. The symposium covered topics such as models of individual and organizational users of information systems, methods of selecting appropriate types of models for a given type of users and a given type of tasks, deriving models from records of system usage, modeling system evolution, constructing user and task models for adaptive systems, and models of system architectures. This symposium was sponsored by the School of Information and Computer Science of the Georgia Institute of Technology and by the U.S. Army Institute for Research in Management Information, Communications, and Computer Sciences (AIRMICS). 17le Editors vii CONTENTS 1 I. KEYNOTE ADDRESS ............................................. .

Advances in Intelligent Computing - IPMU '94

Advances in Intelligent Computing - IPMU '94
Author: Bernadette Bouchon-Meunier
Publisher: Springer Science & Business Media
Total Pages: 648
Release: 1995-06-26
Genre: Computers
ISBN: 9783540601166

This book presents a topical selection of full refereed research papers presented during the 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '94, held in Paris, France in July 1994. The topical focus is on the role of uncertainty in the contruction of intelligent computing systems and it is shown how the concepts of AI, neural networks, and fuzzy logic can be utilized for that purpose. In total, there are presented 63 thoroughly revised papers organized in sections on fundamental issues; theory of evidence; networks, probabilistic, statistical, and informational methods; possibility theory, logics, chaos, reusability, and applications.