The Computer Journal

Articles

I. Sommerville, R. Bentley, T. Rodden, and P. Sawyer

Cooperative Systems Design
The Computer Journal 1994 37: 357-366; doi:10.1093/comjnl/37.5.357 [Abstract] [PDF] [Request Permissions]  

P. A. Firby and D. J. Stone

Analysis of the Structure and Resolution of a Graphics Device
The Computer Journal 1994 37: 367-376; doi:10.1093/comjnl/37.5.367 [Abstract] [PDF] [Request Permissions]  

C. Poix and R. Laurini

A Geometric Reasoning Tool Based on a Successive Improvement Approach
The Computer Journal 1994 37: 377-384; doi:10.1093/comjnl/37.5.377 [Abstract] [PDF] [Request Permissions]  

A. N. Clark

Pattern Recognition of Noisy Sequences of Behavioural Events using Functional Combinators
The Computer Journal 1994 37: 385-398; doi:10.1093/comjnl/37.5.385 [Abstract] [PDF] [Request Permissions]  

P. B. Hansen

Interference Control in Superpascal—A Block-Structured Parallel Language
The Computer Journal 1994 37: 399-406; doi:10.1093/comjnl/37.5.399 [Abstract] [PDF] [Request Permissions]  

M. Díaz, E. Pimentel, and J. M. Troya

DROL: A Distributed and Real-time Object-oriented Logic Environment
The Computer Journal 1994 37: 407-421; doi:10.1093/comjnl/37.5.407 [Abstract] [PDF] [Request Permissions]  

M. R. Low and B. Christianson

Self Authenticating Proxies
The Computer Journal 1994 37: 422-428; doi:10.1093/comjnl/37.5.422 [Abstract] [PDF] [Request Permissions]  

J. P. Giddy and R. Safavi-Naini

Automated Cryptanalysis of Transposition Ciphers
The Computer Journal 1994 37: 429-436; doi:10.1093/comjnl/37.5.429 [Abstract] [PDF] [Request Permissions]  

G. O'Shea

On the Specification, Validation and Verification of Security in Access Control Systems
The Computer Journal 1994 37: 437-448; doi:10.1093/comjnl/37.5.437 [Abstract] [PDF] [Request Permissions]  

N. G. Kinnersley and W. M. Kinnersley

An Efficient Polynomial-Time Algorithm for Three-track Gate Matrix Layout
The Computer Journal 1994 37: 449-462; doi:10.1093/comjnl/37.5.449 [Abstract] [PDF] [Request Permissions]  

A. A. K. Majumdar

A Note on the Iterative Algorithm for the Reve's Puzzle
The Computer Journal 1994 37: 463-464; doi:10.1093/comjnl/37.5.463 [Abstract] [PDF] [Request Permissions]  

R. E. Roger

Letters: Correspondence. On The Millar polyhedron and its use in the construction of octrees
The Computer Journal 1994 37: 465-466; doi:10.1093/comjnl/37.5.465 [PDF] [Request Permissions]  

D. Caminer

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

S. Ramani

Review: Book Review
The Computer Journal 1994 37: 467-468; doi:10.1093/comjnl/37.5.467-a [PDF] [Request Permissions]  

M. H. E. Larcombe

Review: Book Review
The Computer Journal 1994 37: 468-469; doi:10.1093/comjnl/37.5.468 [PDF] [Request Permissions]  

M. Holcombe

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

H. Brown

Review: Book Review
The Computer Journal 1994 37: 469-470; doi:10.1093/comjnl/37.5.469-a [PDF] [Request Permissions]  

P. Mukherjee

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

B. Wichmann

Review: Book Review
The Computer Journal 1994 37: 470-471; doi:10.1093/comjnl/37.5.470-a [PDF] [Request Permissions]  

M. Joy

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

A. Larner

Review: Book Review
The Computer Journal 1994 37: 471-472; doi:10.1093/comjnl/37.5.471-a [PDF] [Request Permissions]  

A. H. Khan

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

Y. Merali

Review: Book Review
The Computer Journal 1994 37: 472-473; doi:10.1093/comjnl/37.5.472-a [PDF] [Request Permissions]  

J. C. M. Baeten

Special Issue Editorial Process Algebra
The Computer Journal 1994 37: 474-475; doi:10.1093/comjnl/37.5.474 [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.