The Computer Journal

Articles

Birgit Schieder and Manfred Broy

Adapting Calculational Logic to the Undefined
The Computer Journal 1999 42: 73-81; doi:10.1093/comjnl/42.2.73 [Abstract] [PDF] [Request Permissions]  

Richard F. Paige

Integrating a Program Design Calculus and a Subset of UML
The Computer Journal 1999 42: 82-99; doi:10.1093/comjnl/42.2.82 [Abstract] [PDF] [Request Permissions]  

Ykä Huhtala, Juha Kärkkäinen, Pasi Porkka, and Hannu Toivonen

Tane: An Efficient Algorithm for Discovering Functional and Approximate Dependencies
The Computer Journal 1999 42: 100-111; doi:10.1093/comjnl/42.2.100 [Abstract] [PDF] [Request Permissions]  

Chung-Ming Huang and Ming-Yuhe Jang

Interactive Temporal Behaviours and Modelling for Multimedia Presentations in the WWW Environment
The Computer Journal 1999 42: 112-128; doi:10.1093/comjnl/42.2.112 [Abstract] [PDF] [Request Permissions]  

Min-Sheng Lin, Deng-Jyi Chen, and Maw-Sheng Horng

The Reliability Analysis of Distributed Computing Systems with Imperfect Nodes
The Computer Journal 1999 42: 129-141; doi:10.1093/comjnl/42.2.129 [Abstract] [PDF] [Request Permissions]  

W. F. Wong

Source Level Static Branch Prediction
The Computer Journal 1999 42: 142-149; doi:10.1093/comjnl/42.2.142 [Abstract] [PDF] [Request Permissions]  

Jim Rook, Ian J. Lloyd, and Kenneth J. Turner

Book Reviews
The Computer Journal 1999 42: 150-152; doi:10.1093/comjnl/42.2.150 [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.