The Computer Journal

Articles

Gianni Amati and Iadh Ounis

Conceptual Graphs and First Order Logic
The Computer Journal 2000 43: 1-12; doi:10.1093/comjnl/43.1.1 [Abstract] [PDF] [Request Permissions]  

Jeremy M. R. Martin

A Tool for Checking the CSP sat Property
The Computer Journal 2000 43: 13-23; doi:10.1093/comjnl/43.1.13 [Abstract] [PDF] [Request Permissions]  

A. D. Pengelly and D. C. Ince

Quotient Machines, the Interface Equation and Protocol Conversion
The Computer Journal 2000 43: 24-39; doi:10.1093/comjnl/43.1.24 [Abstract] [PDF] [Request Permissions]  

John Ellis and Minko Markov

In situ, Stable Merging by Way of the Perfect Shuffle
The Computer Journal 2000 43: 40-53; doi:10.1093/comjnl/43.1.40 [Abstract] [PDF] [Request Permissions]  

Simon Y. Berkovich and Eyas El-Qawasmeh

Reversing the Error-Correction Scheme for a Fault-Tolerant Indexing
The Computer Journal 2000 43: 54-64; doi:10.1093/comjnl/43.1.54 [Abstract] [PDF] [Request Permissions]  

Kam-yiu Lam, Tei-Wei Kuo, Wai-Hung Tsang, and Gary C. K. Law

The Reduced Ceiling Protocol for Concurrency Control in Real-time Databases with Mixed Transactions
The Computer Journal 2000 43: 65-80; doi:10.1093/comjnl/43.1.65 [Abstract] [PDF] [Request Permissions]  

Suk-Kyu Song and Narasimhaiah Gorla

A Genetic Algorithm for Vertical Fragmentation and Access Path Selection
The Computer Journal 2000 43: 81-93; doi:10.1093/comjnl/43.1.81 [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.