Journal: Comput. J.

Volume 49, Issue 1

1 -- 3Fairouz Kamareddine. Capsule Reviews
4 -- 19Robert M. Colomb. Formal versus Material Ontologies for Information Systems Interoperation in the Semantic Web
20 -- 31Duncan Martin, Helen Ashman. Atomic Hypermedia
32 -- 41Jixin Ma, Patrick J. Hayes. Primitive Intervals versus Point-Based Intervals: Rivals or Allies?
42 -- 61Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore. Caching and prefetching algorithms for programs with looping reference patterns
62 -- 81Nikos A. Lorentzos, Jose Ramon Rios Viqueira. Relational Formalism for the Management of Spatial Data
82 -- 96Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures
97 -- 107Stelvio Cimato, Roberto De Prisco, Alfredo De Santis. Probabilistic Visual Cryptography Schemes
108 -- 112Alexei Vernitski. Can Unbreakable Mean Incomputable?
113 -- 126Pablo H. Ibargüengoytia, Sunil Vadera, Luis Enrique Sucar. A Probabilistic Model for Information and Sensor Validation