A τ-restricted key agreement schemeBLUNDO, C; D'ARCO, P; GAGGIA, A. G et al.Computer journal (Print). 1999, Vol 42, Num 1, pp 51-61, issn 0010-4620Article

A multicast protocol based on a single logical ring using a virtual token and logical clocksWEIJIA JIA; JIANNONG CAO; CHEUNG, T.-Y et al.Computer journal (Print). 1999, Vol 42, Num 3, pp 202-220, issn 0010-4620Article

Integrating a program design calculus and a subset of UMLPAIGE, R. F.Computer journal (Print). 1999, Vol 42, Num 2, pp 82-99, issn 0010-4620Article

Source level static branch predictionWONG, W. F.Computer journal (Print). 1999, Vol 42, Num 2, pp 142-149, issn 0010-4620Article

An overview of vertical partitioning in object oriented databasesCHINCHWADKAR, G. S; GOH, A.Computer journal (Print). 1999, Vol 42, Num 1, pp 39-50, issn 0010-4620Article

A quadtree-based dynamic attribute indexing methodTAYEB, J; ULUSOY, O; WOLFSON, O et al.Computer journal (Print). 1998, Vol 41, Num 3, pp 185-200, issn 0010-4620Article

A weakest precondition semantics for ZCAVALCANTI, A; WOODCOCK, J.Computer journal (Print). 1998, Vol 41, Num 1, pp 1-15, issn 0010-4620Article

Logic design of a fast circuit for iterative additions in redundant hybrid number systemsALIA, G; MARTINELLI, E.Computer journal (Print). 1998, Vol 41, Num 1, pp 45-51, issn 0010-4620Article

Optimal fault-secure schedulingJIE WU; FERNANDEZ, E. B; DONGLAI DAI et al.Computer journal (Print). 1998, Vol 41, Num 4, pp 207-222, issn 0010-4620Article

Performance evaluation of forwarding strategies for location management in mobile networksCHEN, I.-R; CHEN, T.-M; CHIANG LEE et al.Computer journal (Print). 1998, Vol 41, Num 4, pp 243-253, issn 0010-4620Article

Proximity search with a triangulated spatial modelJONES, C. B; WARE, J. M.Computer journal (Print). 1998, Vol 41, Num 2, pp 71-83, issn 0010-4620Article

An efficient hash-based algorithm for sequence data searchingCHU, K. W; LAM, S. K; WONG, M. H et al.Computer journal (Print). 1998, Vol 41, Num 6, pp 402-415, issn 0010-4620Article

Distributed atomic actions in Ada 95MITCHELL, S. E; WELLINGS, A. J; ROMANOVSKY, A et al.Computer journal (Print). 1998, Vol 41, Num 7, pp 486-502, issn 0010-4620Article

On the expressiveness of links in hypertext systemsMOREAU, L; HALL, W.Computer journal (Print). 1998, Vol 41, Num 7, pp 459-473, issn 0010-4620Article

Classification of text documentsLI, Y. H; JAIN, A. K.Computer journal (Print). 1998, Vol 41, Num 8, pp 537-546, issn 0010-4620Article

From copper to glass : The right idea, decisions and investments at the right time...COCHRANE, P.Computer journal (Print). 1997, Vol 40, Num 1, pp 1-11, issn 0010-4620Article

Timing properties of the FDDI-M medium access protocolCHAN, E; DAOXU, C; CAO, J et al.Computer journal (Print). 1997, Vol 40, Num 1, pp 43-49, issn 0010-4620Article

Contemporary access structures under mixed workloadsDELIS, A; LEVIET, Q.Computer journal (Print). 1997, Vol 40, Num 4, pp 183-193, issn 0010-4620Article

Treating partiality in a logic of total functionsMÜLLER, O; SLIND, K.Computer journal (Print). 1997, Vol 40, Num 10, pp 640-651, issn 0010-4620Article

Unbounded length contexts for PPMCLEARY, J. G; TEAHAN, W. J.Computer journal (Print). 1997, Vol 40, Num 2-3, pp 67-75, issn 0010-4620Article

Testing distributed programs containing racing messagesKILGORE, R. B; CHASE, C. M.Computer journal (Print). 1997, Vol 40, Num 8, pp 489-498, issn 0010-4620Article

Automatic loop parallelizationKUMAR, Mohan; PATNAIK, L. M.Computer journal (Print). 1997, Vol 40, Num 6, pp 301-400, issn 0010-4620Serial Issue

Lossless compressionMOFFAT, Alistair.Computer journal (Print). 1997, Vol 40, Num 2-3, issn 0010-4620, 102 p.Serial Issue

Correctness of compiling Occam to transputer codeBÖRGER, E; DURDANOVIC, I.Computer journal (Print). 1996, Vol 39, Num 1, pp 52-92, issn 0010-4620Article

Maintaining consistency of imprecise relationsLEVENE, M.Computer journal (Print). 1996, Vol 39, Num 2, pp 114-123, issn 0010-4620Article