The Computer Journal

Articles

J. A. Bakker

A Semantic Approach to Enforce Correctness of Data Distribution Schemes
The Computer Journal 1994 37: 561-575; doi:10.1093/comjnl/37.7.561 [Abstract] [PDF] [Request Permissions]  

M. A. Bassiouni, A. Mukherjee, and M. J. Llewellyn

Design and Implementation of Extended Boolean and Comparison Operators for Time-Oriented Query Languages
The Computer Journal 1994 37: 576-587; doi:10.1093/comjnl/37.7.576 [Abstract] [PDF] [Request Permissions]  

B. Knight and J. Ma

A Temporal Database Model Supporting Relative and Absolute Time
The Computer Journal 1994 37: 588-597; doi:10.1093/comjnl/37.7.588 [Abstract] [PDF] [Request Permissions]  

B. J. Oommen and D. T. H. Ng

A New Technique for Enhancing Linked-List Data Retrieval: Reorganize Data Using Artifically Synthesized Queries
The Computer Journal 1994 37: 598-609; doi:10.1093/comjnl/37.7.598 [Abstract] [PDF] [Request Permissions]  

L. Lopriore

Stack Cache Memory for Block-Structured Programs
The Computer Journal 1994 37: 610-620; doi:10.1093/comjnl/37.7.610 [Abstract] [PDF] [Request Permissions]  

N. Belkhatir and W. L. Melo

Supporting Software Development Processes in Adele 2
The Computer Journal 1994 37: 621-628; doi:10.1093/comjnl/37.7.621 [Abstract] [PDF] [Request Permissions]  

I. McFarlane and S. G. Hoggar

Optimal Drivers for the ‘Random’ Iteration Algorithm
The Computer Journal 1994 37: 629-640; doi:10.1093/comjnl/37.7.629 [PDF] [Request Permissions]  

J. L. Ganley and L. S. Heath

Optimal and Random Partitions of Random Graphs
The Computer Journal 1994 37: 641-643; doi:10.1093/comjnl/37.7.641 [Abstract] [PDF] [Request Permissions]  

D. J. Cooke

Review: Book Review
The Computer Journal 1994 37: 644; doi:10.1093/comjnl/37.7.644 [PDF] [Request Permissions]  

A. P. Luff

Review: Book Review
The Computer Journal 1994 37: 644-645; doi:10.1093/comjnl/37.7.644-a [PDF] [Request Permissions]  

T. W. Routen

Review: Book Review
The Computer Journal 1994 37: 645-646; doi:10.1093/comjnl/37.7.645 [PDF] [Request Permissions]  

A. Larner

Review: Book Review
The Computer Journal 1994 37: 646; doi:10.1093/comjnl/37.7.646 [PDF] [Request Permissions]  

H. P. Haughton

Review: Book Review
The Computer Journal 1994 37: 646-647; doi:10.1093/comjnl/37.7.646-a [PDF] [Request Permissions]  

S. Arun-Kumar

Review: Book Review
The Computer Journal 1994 37: 647; doi:10.1093/comjnl/37.7.647 [PDF] [Request Permissions]  

S. B. Jones

Review: Book Review
The Computer Journal 1994 37: 647-648; doi:10.1093/comjnl/37.7.647-a [PDF] [Request Permissions]  

A. M. Day

Review: Book Review
The Computer Journal 1994 37: 649; doi:10.1093/comjnl/37.7.649 [PDF] [Request Permissions]  

R. Hamilton

Review: Book Review
The Computer Journal 1994 37: 649-650; doi:10.1093/comjnl/37.7.649-a [PDF] [Request Permissions]  

M. Bezem and J. F. Groote

Corrigendum to A Correctness Proof of a One-bit Sliding Window Protocol in µCRL
The Computer Journal 1994 37: 651; doi:10.1093/comjnl/37.7.651 [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.