The Computer Journal

Capsule reviews

Fairouz Kamareddine

Capsule Reviews
The Computer Journal 2006 49: 631-633; doi:10.1093/comjnl/bxl061 [Abstract] [Full Text] [PDF] [Request Permissions]  

Transport Applications

Yi-Sheng Huang

Design of Traffic Light Control Systems Using Statecharts
The Computer Journal Advance Access published on June 14, 2006
The Computer Journal 2006 49: 634-649; doi:10.1093/comjnl/bxl032 [Abstract] [Full Text] [PDF] [Request Permissions]  

History

Frank Land

Leo II and the Model T Ford
The Computer Journal Advance Access published on July 21, 2006
The Computer Journal 2006 49: 650-656; doi:10.1093/comjnl/bxl041 [Abstract] [Full Text] [PDF] [Request Permissions]  

Kolmogorov Lecture

J. Rissanen

The Structure Function and Distinguishable Models of Data
The Computer Journal 2006 49: 657-664; doi:10.1093/comjnl/bxl045 [Full Text] [PDF] [Request Permissions]  

Games

D. Den Hertog and P. B. Hulshof

Solving Rummikub Problems by Integer Linear Programming
The Computer Journal Advance Access published on June 20, 2006
The Computer Journal 2006 49: 665-669; doi:10.1093/comjnl/bxl033 [Abstract] [Full Text] [PDF] [Request Permissions]  

Search and Retrieval

Alexander Thomasian and Lijuan Zhang

Persistent Semi-Dynamic Ordered Partition Index
The Computer Journal Advance Access published on June 21, 2006
The Computer Journal 2006 49: 670-684; doi:10.1093/comjnl/bxl035 [Abstract] [Full Text] [PDF] [Request Permissions]  

Networks

Samir M. Koriem

Development, Analysis and Evaluation of Performance Models for Mobile Multi-Agent Networks
The Computer Journal Advance Access published on April 27, 2006
The Computer Journal 2006 49: 685-709; doi:10.1093/comjnl/bxl009 [Abstract] [Full Text] [PDF] [Request Permissions]  

Vlad Rusu

Verifying an ATM Protocol Using a Combination of Formal Techniques
The Computer Journal Advance Access published on July 21, 2006
The Computer Journal 2006 49: 710-730; doi:10.1093/comjnl/bxl039 [Abstract] [Full Text] [PDF] [Request Permissions]  

Distributed Systems

Betul Demiroz and Haluk Rahmi Topcuoglu

Static Task Scheduling with a Unified Objective on Time and Resource Domains
The Computer Journal Advance Access published on June 15, 2006
The Computer Journal 2006 49: 731-743; doi:10.1093/comjnl/bxl030 [Abstract] [Full Text] [PDF] [Request Permissions]  

Memory Management

Carlos A. G. Assis, Edil S. T. Fernandes, and Valmir C. Barbosa

Modeling the Input History of Programs for Improved Instruction-Memory Performance
The Computer Journal Advance Access published on August 19, 2006
The Computer Journal 2006 49: 744-761; doi:10.1093/comjnl/bxl044 [Abstract] [Full Text] [PDF] [Request Permissions]  

Book reviews

Klaus Schneider

R. KURKI-SUONIO A Practical Theory of Reactive Systems. Springer Verlag (2005). ISBN 3-540-23342-3. 49.95/£38.50. 418 pp. Hardbound.
The Computer Journal Advance Access published on August 19, 2006
The Computer Journal 2006 49: 762; doi:10.1093/comjnl/bxl049 [Full Text] [PDF] [Request Permissions]  

Marc L. Smith

MARK BURGINSuper-Recursive Algorithms. Series: Monographs in Computer Science. Springer Verlag (2005). ISBN 0-387-95569-0. $79.95/£61.50/79.95. 304 pp. Hardbound.
The Computer Journal Advance Access published on August 17, 2006
The Computer Journal 2006 49: 762-763; doi:10.1093/comjnl/bxl050 [Full Text] [PDF] [Request Permissions]  

Elizabeth Harrin, MBCS

ROBERT SCOBLE AND SHEL ISRAEL Naked Conversations: How Blogs are Changing the Way Businesses Talk with Customers. John Wiley & Sons (2006). ISBN 0-471-74719-X. £16.99. 251 pp. Hardcover.
The Computer Journal Advance Access published on August 19, 2006
The Computer Journal 2006 49: 764; doi:10.1093/comjnl/bxl051 [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.