The Computer Journal

Capsule Reviews

Fairouz Kamareddine

Capsule Reviews
The Computer Journal 2006 49: 1-3; doi:10.1093/comjnl/bxh160 [Abstract] [Full Text] [PDF] [Request Permissions]  

Semantic Web

Robert M. Colomb

Formal versus Material Ontologies for Information Systems Interoperation in the Semantic Web
The Computer Journal Advance Access published on November 16, 2005
The Computer Journal 2006 49: 4-19; doi:10.1093/comjnl/bxh147 [Abstract] [Full Text] [PDF] [Request Permissions]  

Hypermedia

Duncan Martin and Helen Ashman

Atomic Hypermedia
The Computer Journal Advance Access published on November 24, 2005
The Computer Journal 2006 49: 20-31; doi:10.1093/comjnl/bxh146 [Abstract] [Full Text] [PDF] [Request Permissions]  

Reasoning

Jixin Ma and Pat Hayes

Primitive Intervals versus Point-Based Intervals: Rivals or Allies?
The Computer Journal Advance Access published on November 29, 2005
The Computer Journal 2006 49: 32-41; doi:10.1093/comjnl/bxh151 [Abstract] [Full Text] [PDF] [Request Permissions]  

Programming

Gianluca Dini, Giuseppe Lettieri, and Lanfranco Lopriore

Caching and prefetching algorithms for programs with looping reference patterns
The Computer Journal Advance Access published on October 14, 2005
The Computer Journal 2006 49: 42-61; doi:10.1093/comjnl/bxh140 [Abstract] [Full Text] [PDF] [Request Permissions]  

Databases

Nikos A. Lorentzos and Jose R. R. Viqueira

Relational Formalism for the Management of Spatial Data
The Computer Journal Advance Access published on September 16, 2005
The Computer Journal 2006 49: 62-81; doi:10.1093/comjnl/bxh136 [Abstract] [Full Text] [PDF] [Request Permissions]  

Information Security

Miguel Correia, Nuno Ferreira Neves, and Paulo Veríssimo

From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures
The Computer Journal Advance Access published on November 16, 2005
The Computer Journal 2006 49: 82-96; doi:10.1093/comjnl/bxh145 [Abstract] [Full Text] [PDF] [Request Permissions]  

S. Cimato, R. De Prisco, and A. De Santis

Probabilistic Visual Cryptography Schemes
The Computer Journal Advance Access published on December 1, 2005
The Computer Journal 2006 49: 97-107; doi:10.1093/comjnl/bxh152 [Abstract] [Full Text] [PDF] [Request Permissions]  

Alexei Vernitski

Can Unbreakable Mean Incomputable?
The Computer Journal Advance Access published on November 4, 2005
The Computer Journal 2006 49: 108-112; doi:10.1093/comjnl/bxh144 [Abstract] [Full Text] [PDF] [Request Permissions]  

Distributed Systems

Pablo H. Ibargüengoytia, Sunil Vadera, and L. Enrique Sucar

A Probabilistic Model for Information and Sensor Validation
The Computer Journal Advance Access published on October 24, 2005
The Computer Journal 2006 49: 113-126; doi:10.1093/comjnl/bxh142 [Abstract] [Full Text] [PDF] [Request Permissions]  

Book Reviews

Jaime Gomez

STEFANO CERI, PIERO FRATERNALI, ALDO BONGIO, MARCO BRAMBILLA, SARA COMAI AND MARISTELLA MATERA • Designing Data-Intensive Web Applications. Morgan Kaufmann Publishers (2003). ISBN 1-55860-843-5. $59.95/58.90. 562 pp. Softbound.
The Computer Journal Advance Access published on July 1, 2005
The Computer Journal 2006 49: 127; doi:10.1093/comjnl/bxh126 [Full Text] [PDF] [Request Permissions]  

Lech Polkowski

UNA-MAY O'REILLY, TINA YU, RICK RIOLO AND BILL WORZEL (EDS) • Genetic Programming Theory and Practice II. Springer Science+Business Media, Inc. (2005). ISBN 0-387-23253-2. $129.00. 320 pp. Hardbound.
The Computer Journal Advance Access published on July 18, 2005
The Computer Journal 2006 49: 127-128; doi:10.1093/comjnl/bxh127 [Full Text] [PDF] [Request Permissions]  

Mark Levene

A. SPINK AND B. J. JANSEN • Web Search: Public Searching of the Web. Information Science & Knowledge Management, Vol. 6. Kluwer Academic Publishers (2004). ISBN 1-4020-2268-9. 100. 199 pp. Hardcover.
The Computer Journal Advance Access published on August 11, 2005
The Computer Journal 2006 49: 128-129; doi:10.1093/comjnl/bxh132 [Full Text] [PDF] [Request Permissions]  

Anas N. Al-Rabadi

LEE SPECTOR • Automatic Quantum Computer Programming: A Genetic Programming Approach. Kluwer Academic Publishers (2004). ISBN 1-4020-7894-3. 100. 153 pp.
The Computer Journal Advance Access published on August 25, 2005
The Computer Journal 2006 49: 129-130; doi:10.1093/comjnl/bxh134 [Full Text] [PDF] [Request Permissions]  

Felice Cardone

BENJAMIN C. PIERCE (ED.) • Advanced Topics in Types and Programming Languages. The MIT Press (2005) ISBN 0-262-16228-8. £39.95. 574 pp. Hardbound.
The Computer Journal Advance Access published on September 23, 2005
The Computer Journal 2006 49: 130-131; doi:10.1093/comjnl/bxh138 [Full Text] [PDF] [Request Permissions]  

Iman Hafiz Poernomo

YVES BERTOT AND PIERRE CASTERAN • Interactive Theorem Proving and Program Development (Coq'Art: The Calculus of Inductive Constructions). Texts in Theoretical Computer Science. An EATCS Series. (2004). ISBN 3-540-20854-2. 469pp. Hardcover.
The Computer Journal Advance Access published on November 3, 2005
The Computer Journal 2006 49: 130-131; doi:10.1093/comjnl/bxh141 [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.