| |
1-10 of 122 reviews |
Date Reviewed | |
| |
Properties of binary trees related to position
Sprugnoli R. The Computer Journal 35(4): 395-404, 1992. Type: Article
Sprugnoli presents a systematic derivation of several properties of binary trees by using “leaf analysis,” that is, deriving simultaneous recurrence relations by inserting in any tree with N nodes...
|
May 1 1994 |
|
| |
A computer architecture to support neural net simulation
Turega M. The Computer Journal 35(4): 353-360, 1992. Type: Article
Turega discusses the back propagation model (BPM) for neural net simulation and presents an architectural proposal for the simulator. The proposed architecture is a hybrid based on a conventional monoprocessor (CMP) running BPM and sup...
|
May 1 1994 |
|
| |
Protocol design and implementation using formal methods
van Sinderen M., Pires L., Vissers C. The Computer Journal 35(5): 478-491, 1992. Type: Article
More rigorous modeling and proving techniques have been applied with increasing success in communications protocol design. There are two basic ways to go about this....
|
Mar 1 1994 |
|
| |
Modelling offices through discourse analysis
Auramäki E., Hirschheim R. (ed), Lyytinen K. The Computer Journal 35(4): 342-352, 1992. Type: Article
For some years now, researchers have been trying to understand and model the workings of offices. Many modeling approaches focus on the structural or logical elements of office work (such as information and task flows), placing relati...
|
Feb 1 1994 |
|
| |
Integration information systems using an object-oriented approach
Czejdo B., Taylor M. The Computer Journal 35(5): 501-513, 1992. Type: Article
The problem of how to integrate multiple, disparate database systems into a single heterogeneous system is addressed. The authors’ approach is to define an object-oriented global schema, called a multi-information base (MIB)....
|
Feb 1 1994 |
|
| |
Modelling and managing time in database systems
Ling D., Bell D. The Computer Journal 35(4): 332-341, 1992. Type: Article
A new architecture for a temporal data management system (TDMS) is described. The TDMS represents a pragmatic approach to the modeling and handling of time-dependent data values. Unfortunately, the paper, received in 1989 and issued in...
|
Nov 1 1993 |
|
| |
Self-adjusting mapping
Shen H. The Computer Journal 35(1): 71-80, 1992. Type: Article
Shen uses elementary heuristic techniques to perform a mapping from an arbitrary logical task graph (showing all required intermodule communications) to an arbitrary torus....
|
Nov 1 1993 |
|
| |
Formal methods--mathematics, theory, recipes or what?
Cooke J. The Computer Journal 35(5): 419-423, 1992. Type: Article
As indicated by the title, this paper is a discourse on formal methods, including comments about their value and use, an attempt to define the terminology, analogies with mathematics and cars, and speculation about ...
|
Nov 1 1993 |
|
| |
Stratified hypermedia structures for information disclosure
Bruza P., van der Weide T. The Computer Journal 35(3): 208-220, 1992. Type: Article
The meld of keyword- and hypermedia-based information retrieval is an important research area. Keywords, extensively used to represent documents in current systems, have well-known limitations as query descriptions for users of informa...
|
Oct 1 1993 |
|
| |
The implementation of FDL, a functional database language
Poulovassilis A. The Computer Journal 35(2): 119-128, 1992. Type: Article
Topics related to database management software have been major research areas. Functional Data Language (FDL) tries to define entities and functions between entities. The integration of networks and relational data structures is possib...
|
Sep 1 1993 |
|
| |
|
|
| |
|
|
|
|
