April 1988 - Vol. 31 No. 4
Features
Reasoning with worlds and truth maintenance in a knowledge-based programming environment
In traditional knowledge-based system development environments, the fundamental representational building blocks are mechanisms such as frames, rules, and attached…
Undebuggability and cognitive science
A resource-realistic perspective suggests some indispensable features for a computer program that approximates all human mentality. The mind's program would differ…
Relational database design using an object-oriented methodology
Of the many approaches to relational database design, the Object Modeling Technique (OMT) is particularly effective. A comprehensive explanation and two applications show…
Cost/benefit analysis for incorporating human factors in the software lifecycle
New software engineering techniques and the necessity to improve the user interface in increasingly interactive software environments have led to a change in traditional…
Computing Poisson probabilities
We propose an algorithm to compute the set of individual (nonnegligible) Poisson probabilities, rigorously bound truncation error, and guarantee no overflow or underflow.…
Linear hashing and spiral storage are two dynamic hashing schemes originally designed for external files. This paper shows how to adapt these two methods for hash tables…