The Computer Journal

Articles

Capsule Reviews
The Computer Journal 2004 47: 1-3; doi:10.1093/comjnl/47.1.1 [Abstract] [PDF] [Request Permissions]  

Peter Wegner and Eugene Eberbach

New Models of Computation
The Computer Journal 2004 47: 4-9; doi:10.1093/comjnl/47.1.4 [Abstract] [PDF] [Request Permissions]  

George F. Georgakopoulos and David J. McClurkin

Generalized Template Splay: A Basic Theory and Calculus
The Computer Journal 2004 47: 10-19; doi:10.1093/comjnl/47.1.10 [Abstract] [PDF] [Request Permissions]  

Amir Sapir

The Tower of Hanoi with Forbidden Moves
The Computer Journal 2004 47: 20-24; doi:10.1093/comjnl/47.1.20 [Abstract] [PDF] [Request Permissions]  

Roberto Barbuti, Cinzia Bernardeschi, and Nicoletta De Francesco

Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation
The Computer Journal 2004 47: 25-45; doi:10.1093/comjnl/47.1.25 [Abstract] [PDF] [Request Permissions]  

Ziya Arnavut

Inversion Coding
The Computer Journal 2004 47: 46-57; doi:10.1093/comjnl/47.1.46 [Abstract] [PDF] [Request Permissions]  

Masayuki Abe

Combining Encryption and Proof of Knowledge in the Random Oracle Model
The Computer Journal 2004 47: 58-70; doi:10.1093/comjnl/47.1.58 [Abstract] [PDF] [Request Permissions]  

Ying Xu, Xiaoyu Song, Eduard Cerny, and Otmane Ait Mohamed

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)
The Computer Journal 2004 47: 71-84; doi:10.1093/comjnl/47.1.71 [Abstract] [PDF] [Request Permissions]  

L. C. P. Albini, S. Chessa, and P. Maestrini

Diagnosis of Symmetric Graphs Under the BGM Model
The Computer Journal 2004 47: 85-92; doi:10.1093/comjnl/47.1.85 [Abstract] [PDF] [Request Permissions]  

Ahmad A. Hiasat

A Suggestion for a Fast Residue Multiplier for a Family of Moduli of the Form (2ⁿ – (2^p ± 1))
The Computer Journal 2004 47: 93-102; doi:10.1093/comjnl/47.1.93 [Abstract] [PDF] [Request Permissions]  

Zhongqiang Chen, Alex Delis, and Henry L. Bertoni

Building Footprint Simplification Techniques and Their Effects on Radio Propagation Predictions
The Computer Journal 2004 47: 103-133; doi:10.1093/comjnl/47.1.103 [Abstract] [PDF] [Request Permissions]  

Erik Reinhard

Review: Real-Time Rendering, 2nd edition • Tomas Akenine-Möller, Eric Haines: Real-Time Rendering, 2nd edition
The Computer Journal 2004 47: 134; doi:10.1093/comjnl/47.1.134 [PDF] [Request Permissions]  

Adrian Colyer

Review: AspectJ in Action—Practical Aspect-Oriented Programming • Ramnivas Laddad: AspectJ in Action—Practical Aspect-Oriented Programming
The Computer Journal 2004 47: 134-135; doi:10.1093/comjnl/47.1.134-a [PDF] [Request Permissions]  

Jean-Pierre Jouannaud

Review: Term Rewriting Systems • Terese: Term Rewriting Systems
The Computer Journal 2004 47: 135; doi:10.1093/comjnl/47.1.135 [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.