Computer Technology and Computer Programming

This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings together several elements of this area that were fast becoming the focus of much research and practice in computing. The introduction by Clemens Szyperski gives a snapshot of research in the field. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest of the book concentrates on case studies by researchers who have built prototype systems and present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and validate systems from components. Thus the book shows how theory might move into pract

In light of the spectacular performance of American high-technology weapons in the 1991 Persian Gulf War, as well as the phenomenal pace of innovation in the modern computer industry, many defense ana

The authors (professors of computer science and technology at the U. of Bologna, Italy) describe design techniques for data warehousing for database designers, companies, and institutions interested i

In light of the spectacular performance of American high-technology weapons in the 1991 Persian Gulf War, as well as the phenomenal pace of innovation in the modern computer industry, many defense ana

Augmented reality (AR) is a human-computer interface technology in which computer-generated information appears superimposed and stabilized upon specific coordinates of real objects. The proceedings

Philosophy and Computing explores each of the following areas of technology: the digital revolution; the computer; the Internet and the Web; CD-ROMs and Mulitmedia; databases, textbases, and hypertext

A detailed guide to the Peripheral Component Interconnect (PCI) Bus Specification, Intel's technology for communication between peripheral devices and the computer processor. Explains the relationship

In the past few years elliptic curve cryptography has moved from a fringe activity to a major challenger to the dominant RSA/DSA systems. Elliptic curves offer major advances on older systems such as increased speed, less memory and smaller key sizes. As digital signatures become more and more important in the commercial world the use of elliptic curve-based signatures will become all pervasive. This book summarizes knowledge built up within Hewlett-Packard over a number of years, and explains the mathematics behind practical implementations of elliptic curve systems. Due to the advanced nature of the mathematics there is a high barrier to entry for individuals and companies to this technology. Hence this book will be invaluable not only to mathematicians wanting to see how pure mathematics can be applied but also to engineers and computer scientists wishing (or needing) to actually implement such systems.

This book describes the state-of-the-art advances in computer-based plant control. The material presented is intended to provide an introductory textbook in control and instrumentation technology for

The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message - or indeed an entire computer program - across the internet. One can also describe networks which reconfigure themselves. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols, fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first textbook on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students.

The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message - or indeed an entire computer program - across the internet. One can also describe networks which reconfigure themselves. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols, fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first textbook on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students.

Automatic Speech Recognition (ASR) is the enabling technology for hands-free dictation and voice-triggered computer menus. It is becoming increasingly prevalent in environments such as private telepho

Designed for courses in Probability and Statistics and/or Random Processes, this book integrates a modern approach to statistical methods, computer technology, and recent pedagogical trends into an in

The Business of Shipbuilding thoroughly analyses vessel construction, from material receipt and preparation, to final outfitting. It explains the central role of computer technology in the design proc

Explores some of the more advanced tools in computer programming such as structured problem solving, object- oriented programming, data abstraction, and the comparative analysis of algorithms. The aut

Mixing medical records with computer technology makes good medicine. This book provides practical guidance on using information systems effectively to answer questions of concern to those responsible

Highlights recent advances in technology computer-aided design (TCAD) and identifies critical areas for future emphasis. The 39 contributions from the December 1997 symposium cover four main topics--

An exploration of regression graphics through computer graphics.Recent developments in computer technology have stimulated new and exciting uses for graphics in statistical analyses. Regression Graphi

A critically acclaimed analysis of the pervasive implications of computer technology for everyday human life argues that computerization has limited the scope of choice, modes of control, and interact

Explores the relationship of ethnographic narrative as it is affected by realist narratives in novels, movies, television, and the virtual reality of computer technology. Applying a blend of feminist

Exploring new trends in computer technology, Corporal introduces an innovative and exciting concept: Transport Triggered Architecture (TTAs). Unlike most traditional architectures, where programmed op

Dormer presents a series of lively, clearly argued discussions about the relevance of handicraft in a world whose aesthetics and design are largely determined by technology. The question of computer

Mathematicians from Leibniz to Hilbert have sought to mechanise the verification of mathematical proofs. Developments arising out of Gödel's proof of his incompleteness theorem showed that no computer program could automatically prove true all the theorems of mathematics. In practice, however, there are a number of sophisticated automated reasoning programs that are quite effective at checking mathematical proofs. Now in paperback, this book describes the use of a computer program to check the proofs of several celebrated theorems in metamathematics including Gödel's incompleteness theorem and the Church–Rosser theorem. The computer verification using the Boyer–Moore theorem prover yields precise and rigorous proofs of these difficult theorems. It also demonstrates the range and power of automated proof checking technology. The mechanisation of metamathematics itself has important implications for automated reasoning since metatheorems can be applied by labour-saving devices to simpli

A practical guide for multivariate statistical techniques-- now updated and revised In recent years, innovations in computer technology and statistical methodologies have dramatically altered the lan

This book, about a newly emerging area of research in instructional technology, has as its title the acronym "CSCL." Initially, CSCL was chosen as an acronym for Computer-Supported Collaborative Learn

The development of digital technology and its widespread availability on the personal computer are bringing about a fundamental paradigm shift in the ways that literary texts are created, preserved, d

Recent and ongoing developments in science and technology - such as the prevention and treatment of disease through genetics and the development of increasingly sophisticated computer systems with wide-ranging applications - hold out the promise of vastly improving the quality of human life, but they can also raise serious ethical, legal, and public policy questions. The thirteen essays in this volume address these questions and related issues from a variety of perspectives. Written by prominent philosophers, economists, and legal theorists, these essays offer valuable insights into the nature of scientific innovation and its implications for our social policies and practices.

The love affair between humans and the machines that have made us faster and more powerful has expanded into cyberspace, where computer technology seems to offer both the promise of heightened erotic

Protein chemistry has entered a revolutionary era due to the introduction of genetic engineering for modifying protein structure, as well as the application of advanced computer technology to the stud

A presentation of the theoretical foundation and practical programming implementation of the wave approach to microwave network analysis and design. Written for graduate students, engineers, and rese

As important as it is to realize the potential of computer technology to improve education, it is just as important to understand how the social organization of schools and classrooms influences the use of computers, and in turn is effected by that technology in unanticipated ways. In Computers and Classroom Culture, first published in 1996, Janet Schofield observes the fascinating dynamics of the computer-age classroom. Among her many discoveries, Schofield describes how the use of an artificially-intelligent tutor in a geometry class unexpectedly changes aspects like the level of peer competition and the teachers' grading practices. She also discusses why many teachers fail to make significant instructional use of computers and how gender appears to have a crucial impact on students' reactions to computer use. All educators, sociologists, and psychologists concerned with educational computing and the changing shape of the classroom will find themselves compellingly engaged.

It's the ultimate adult playground. Cyber World??will use the latest technology in computer produced??virtual reality to provide thrills and chills??beyond any ever experienced at a theme park. Here??

Optical techniques have a huge range of potential applications in signal processing and in the interconnection of digital computing systems. This 1995 book provides a detailed review of the key issues which must be addressed in the design, evaluation and implementation of practical systems for signal processing and optical interconnection. Considerations such as the computer modelling of optical design limitations, the size and noise characteristics of optical modulators, and the relative merits of free-space and guided-wave optical technology in different processing systems, are all discussed in detail. The book will be of great interest to optical researchers and designers, and to anyone wishing to learn about the basic techniques of optical processing.

This book is an up-to-date introduction to the quantum theory of measurement, a fast developing field of intense current interest to scientists and engineers for its potential high technology applications. It is also a subject of importance to students for its central role in the foundations of quantum mechanics. Although the main principles of the field were elaborated in the 1930s by Bohr, Schrödinger, Heisenberg, von Neumann and Mandelstam, it was not until the 1980s that technology became sufficiently advanced to allow its application in real experiments. Quantum measurement is now central to many ultra-high technology developments, such as squeezed light, single atom traps, and searches for gravitational radiation. It is also considered to have great promise for computer science and engineering, particularly for its applications in information processing and transfer. The book contains a pedagogical introduction to the relevant theory written at a level accessible to those with on

As computerisation in the medical environment has increased, so the advantages of storage and the computer analysis of data from various monitoring and measuring equipment has become well recognised. Most medical monitoring and measurement equipment now supports an RS-232 serial interface, allowing for direct computer access both in terms of data analysis and equipment control. This book describes the techniques used for interfacing a PC to a range of medical equipment used internationally in the areas of anaesthesia, intensive care, surgery, respiratory medicine and physiology. Part One addresses the serial interface, including the RS-232 standard, transmission of data and an introduction to serial-interface programming using Microsoft QuickBASIC. Part Two looks at electrical safety, the use of Kermit and data analysis. Part Three considers the practical aspects of interfacing a PC to a wide range of equipment, and includes example programs for collecting data and in some cases for co

The abacus is as useful and effecient a machine today as it was when it was first created centures ago. Whether you're an expert in the latest computer technology or you're mastering arithmetic and w

For curious lay readers and others without a deep knowledge of computer technology, explains the concepts behind Intelligent Vehicle-Highway Systems, in which highways and vehicles communicate traffic

The authors present a relatively simple, computer-oriented, general and unified approach to the analysis of metallic antennas and scatterers (of electrically small and medium sizes), based largely on

Creativity is a topic that has traditionally interested psychologists, historians and biographers. Developments in cognitive science and artificial intelligence have provided a powerful computational framework in which creativity can be studied and the creative process can be described and explained. In this book, creativity in technology is discussed using such a computational approach. Using an important historical episode in computer technology as a case study, namely the invention of microprogramming by Maurice Wilkes in 1951, the author presents a plausible explanation of the process by which Wilkes may have arrived at his invention. Based on this case study, the author has also proposed some very general hypotheses concerning creativity that appear to corroborate the findings of some psychologists and historians and then suggests that creative thinking is not significantly different in nature from everyday thinking and reasoning.

A graduate or undergraduate textbook for students in any field that uses computer models and simulation. Knowledge of differential equations, linear algebra, and matrix analysis, and some programming