The Computer Journal

Articles

Harry W. Agius and Marios C. Angelides

COSMOS—Content Oriented Semantic Modelling Overlay Scheme
The Computer Journal 1999 42: 153-176; doi:10.1093/comjnl/42.3.153 [Abstract] [PDF] [Request Permissions]  

Richard Bornat and Bernard Sufrin

Animating Formal Proof at the Surface: The Jape Proof Calculator
The Computer Journal 1999 42: 177-192; doi:10.1093/comjnl/42.3.177 [Abstract] [PDF] [Request Permissions]  

Hugh E. Williams and Justin Zobel

Compressing Integers for Fast File Access
The Computer Journal 1999 42: 193-201; doi:10.1093/comjnl/42.3.193 [Abstract] [PDF] [Request Permissions]  

Weijia Jia, Jiannong Cao, To-Yat Cheung, and Xiaohua Jia

A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks
The Computer Journal 1999 42: 202-220; doi:10.1093/comjnl/42.3.202 [Abstract] [PDF] [Request Permissions]  

Kecheng Liu and Tina Ong

A Modelling Approach for Handling Business Rules and Exceptions
The Computer Journal 1999 42: 221-231; doi:10.1093/comjnl/42.3.221 [Abstract] [PDF] [Request Permissions]  

Ahmad A. Hiasat and Hoda Abdel-Aty-Zohdy

Semi-Custom VLSI Design and Implementation of a New Efficient RNS Division Algorithm
The Computer Journal 1999 42: 232-240; doi:10.1093/comjnl/42.3.232 [Abstract] [PDF] [Request Permissions]  

Neven Tomov, Euan Dempster, M. Howard Williams, Peter J. B. King, and Albert Burger

Approximate Estimation of Transaction Response Time
The Computer Journal 1999 42: 241-250; doi:10.1093/comjnl/42.3.241 [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.