The Computer Journal

Articles

Get checked abstract R. Maes and J. E. M. Van Dijk

On the Role of Ambiguity and Incompleteness in the Design of Decision Tables and Rule-Based Systems
The Computer Journal 1988 31: 481-489; doi:10.1093/comjnl/31.6.481 [Abstract] [PDF] [Request Permissions]  

Get checked abstract P. Goyal and T. S. Narayanan

Dictionary Machine with Improved Performance
The Computer Journal 1988 31: 490-495; doi:10.1093/comjnl/31.6.490 [Abstract] [PDF] [Request Permissions]  

Get checked abstract R. Cole and C. Foxcroft

An Experiment in Clock Synchronisation
The Computer Journal 1988 31: 496-502; doi:10.1093/comjnl/31.6.496 [Abstract] [PDF] [Request Permissions]  

Announcement
The Computer Journal 1988 31: 502; doi:10.1093/comjnl/31.6.502 [PDF] [Request Permissions]  

Get checked abstract G. O'Shea

Controlling the Dependency of User Access Control Mechanisms on Correctness of User Identification
The Computer Journal 1988 31: 503-509; doi:10.1093/comjnl/31.6.503 [Abstract] [PDF] [Request Permissions]  

Get checked abstract P. F. Gibbins

VDM: Axiomatising its Propositional Logic
The Computer Journal 1988 31: 510-516; doi:10.1093/comjnl/31.6.510 [Abstract] [PDF] [Request Permissions]  

Announcement
The Computer Journal 1988 31: 516; doi:10.1093/comjnl/31.6.516 [PDF] [Request Permissions]  

Get checked abstract M. C. Henson

Higher-order Transformations and Type Simulations
The Computer Journal 1988 31: 517-524; doi:10.1093/comjnl/31.6.517 [Abstract] [PDF] [Request Permissions]  

Get checked abstract J. Kontos and J. C. Cavouras

Knowledge Acquisition from Technical Texts using Attribute Grammars
The Computer Journal 1988 31: 525-530; doi:10.1093/comjnl/31.6.525 [Abstract] [PDF] [Request Permissions]  

Get checked abstract P. A. Bailes

An Advanced Problem-oriented Introduction to Imperative Programming with Modula-2
The Computer Journal 1988 31: 531-539; doi:10.1093/comjnl/31.6.531 [Abstract] [PDF] [Request Permissions]  

Get checked abstract A. Dearle and A. L. Brown

Safe Browsing in a Strongly Typed Persistent Environment
The Computer Journal 1988 31: 540-544; doi:10.1093/comjnl/31.6.540 [Abstract] [PDF] [Request Permissions]  

Get checked abstract Z. J. Czech

Efficient Implementation of Detection of Undefined Variables
The Computer Journal 1988 31: 545-549; doi:10.1093/comjnl/31.6.545 [Abstract] [PDF] [Request Permissions]  

Get checked abstract G. Guariso and H. Werthner

A Software Base For Environmental Studies
The Computer Journal 1988 31: 550-552; doi:10.1093/comjnl/31.6.550 [Abstract] [PDF] [Request Permissions]  

Get checked abstract S. DvoRák and B. Durian

Merging by Decomposition Revisited
The Computer Journal 1988 31: 553-556; doi:10.1093/comjnl/31.6.553 [Abstract] [PDF] [Request Permissions]  

Get checked abstract M. C. Er

A Smooth Reshuffling Algorithm for Solving the Bulterman's Problem
The Computer Journal 1988 31: 557-560; doi:10.1093/comjnl/31.6.557 [Abstract] [PDF] [Request Permissions]  

Get checked abstract F. Suraweera and J. M. Al-Anzy

Analysis of a Modified Address Calculation Sorting Algorithm
The Computer Journal 1988 31: 561-563; doi:10.1093/comjnl/31.6.561 [Abstract] [PDF] [Request Permissions]  

Get checked abstract J. Pallo

Short notes: Some Properties of the Rotation Lattice of Binary Trees
The Computer Journal 1988 31: 564-565; doi:10.1093/comjnl/31.6.564 [Abstract] [PDF] [Request Permissions]  

Get checked abstract C. C. Chang and C. Y. Chen

Short notes: A Recursive Performance Formula of the Disc Modulo Allocation Method for Binary Cartesian Product Files
The Computer Journal 1988 31: 565-566; doi:10.1093/comjnl/31.6.565 [Abstract] [PDF] [Request Permissions]  

Get checked abstract G. M. Megson and D. J. Evans

Short notes: Improved Matrix Product Computation using Double-Pipeline Systolic Arrays
The Computer Journal 1988 31: 567-569; doi:10.1093/comjnl/31.6.567 [Abstract] [PDF] [Request Permissions]  

Get checked abstract M. H. Rennhackkamp and S. H. von Solms

Short notes: On using an Abstract Model of Distributed Database Concurrency Control Methods
The Computer Journal 1988 31: 570-572; doi:10.1093/comjnl/31.6.570 [Abstract] [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.