Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must support multiple t
Special Service operations are typically very labor-intensive.
A key problem in data management is the maintenance of integrity constraints as updates arrive.
An automated sample translation stage has been added to an existing x-ray double crystal diffractometer and interfaced to a data acquisition system controlled by an AT&T PC 6300 personal compu
This tutorial will discuss practical aspects of software defect and reliability predictions.
The TRACER project addresses the problem of automatically reconstructing the 3D structure of neurons (brain cells) from sets of serial section electron micrographics.
The problem of reconstructing the three-dimensional structure of an object from a set of two-dimensional images arises in medicine, biology, and other fields.
Description of an automatic teleprinter switching system recently introduced in the Netherlands.
Generalized model checking is a framework for reasoning about partial state spaces of concurrent reactive systems.
The Automatic Backup, Archive and Recovery System (ABARS) provides system administrators and users with an automatic system for backing up and restoring UNIX(R) system files onto and from optical d
