Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Cover Image
Other Issues:
Previous Next 		Contents: Volume 50, Number 3, May 2007   [Index by Author] 

Down Capsule reviews
Down Third Computer Journal Lecture
Down Turing Lecture 2006
Down Mobile Computing
Down Workflow
Down Test Generation
Down Distributed Computing
Down Graphs
Down Book reviews


[Search ALL Issues]

Table of Contents (PDF)

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.

Capsule reviews Back

Fairouz Kamareddine
Capsule Reviews
The Computer Journal 2007 50: 251-253; doi:10.1093/comjnl/bxm015 [Abstract] [Full Text] [PDF] [Request Permissions]  

Third Computer Journal Lecture Back

Tony Hoare
The Ideal of Program Correctness: Third Computer Journal Lecture
The Computer Journal Advance Access published on January 29, 2007
The Computer Journal 2007 50: 254-260; doi:10.1093/comjnl/bxl078 [Full Text] [PDF] [Request Permissions]  

Discussion on The Ideal of Program Correctness by Tony Hoare
The Computer Journal Advance Access published on January 26, 2007
The Computer Journal 2007 50: 261-268; doi:10.1093/comjnl/bxl079 [Full Text] [PDF] [Request Permissions]  

Discussion on The Ideal of Program Correctness: Responses from Tony Hoare
The Computer Journal Advance Access published on January 29, 2007
The Computer Journal 2007 50: 269-273; doi:10.1093/comjnl/bxl080 [Full Text] [PDF] [Request Permissions]  

Turing Lecture 2006 Back

Chris Mairs
Inclusion and Exclusion in the Digital World: Turing Lecture 2006
The Computer Journal Advance Access published on February 6, 2007
The Computer Journal 2007 50: 274-280; doi:10.1093/comjnl/bxm001 [Abstract] [Full Text] [PDF] [Request Permissions]  

Mobile Computing Back

Ing-Ray Chen, Weiping He, and Baoshan Gu
Proxy-based Regional Registration for Integrated Mobility and Service Management in Mobile IP Systems
The Computer Journal Advance Access published on January 18, 2007
The Computer Journal 2007 50: 281-293; doi:10.1093/comjnl/bxl083 [Abstract] [Full Text] [PDF] [Request Permissions]  

Workflow Back

H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants
The Computer Journal Advance Access published on January 26, 2007
The Computer Journal 2007 50: 294-314; doi:10.1093/comjnl/bxl074 [Abstract] [Full Text] [PDF] [Request Permissions]  

Test Generation Back

Monika Kapus-Kolar
Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines
The Computer Journal Advance Access published on February 9, 2007
The Computer Journal 2007 50: 315-331; doi:10.1093/comjnl/bxl070 [Abstract] [Full Text] [PDF] [Request Permissions]  

Distributed Computing Back

Doina Bein, Ajoy K. Datta, and Mehmet Hakan Karaata
An Optimal Snap-Stabilizing Multi-Wave Algorithm
The Computer Journal Advance Access published on January 26, 2007
The Computer Journal 2007 50: 332-340; doi:10.1093/comjnl/bxl081 [Abstract] [Full Text] [PDF] [Request Permissions]  

Tzong-Jye Liu and Chia-Lin Lee
State-Optimal Alternator for Uniform Synchronous Rings
The Computer Journal Advance Access published on January 26, 2007
The Computer Journal 2007 50: 341-347; doi:10.1093/comjnl/bxl085 [Abstract] [Full Text] [PDF] [Request Permissions]  

Graphs Back

George F. Georgakopoulos and Kostas Politopoulos
MAX-DENSITY Revisited: a Generalization and a More Efficient Algorithm
The Computer Journal Advance Access published on January 31, 2007
The Computer Journal 2007 50: 348-356; doi:10.1093/comjnl/bxl082 [Abstract] [Full Text] [PDF] [Request Permissions]  

William Chung-Kung Yen
Edge-Orienting on Split, Planar and Treelike Graphs
The Computer Journal Advance Access published on January 9, 2007
The Computer Journal 2007 50: 357-368; doi:10.1093/comjnl/bxl068 [Abstract] [Full Text] [PDF] [Request Permissions]  

Book reviews Back

Peter Grünwald
CHRISTOPHER S. WALLACE Statistical and Inductive Inference by Minimum Message Length. Springer (2005). ISBN 038723795X. £46.00. 432 pp. Hardbound.
The Computer Journal Advance Access published on June 6, 2006
The Computer Journal 2007 50: 369-370; doi:10.1093/comjnl/bxl027 [Full Text] [PDF] [Request Permissions]  

Mark Levene
Artificial Intelligence for Games. Series in Interactive 3D Technology
The Computer Journal Advance Access published on December 8, 2006
The Computer Journal 2007 50: 371; doi:10.1093/comjnl/bxl071 [Full Text] [PDF] [Request Permissions]  

Martinez-Gil Jorge
Thinking on the Web: Berners-Lee, Gödel and Turing
The Computer Journal Advance Access published on January 16, 2007
The Computer Journal 2007 50: 371-372; doi:10.1093/comjnl/bxl084 [Full Text] [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.