Computer Journal logo Oxford University Press logo

The Computer Journal publishes research papers in a full range of subject areas, as well as regular feature articles and occasional themed issues to enable readers to easily access information outside their direct area of research. The journal provides a complete overview of developments in the field of Computer Science.

Publisher: Oxford University Press

Volume 45, Number 1, 2002
Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content

< previous issue | next issue > | all issues

Formal Methods in Computation
pp. 1-1(1)
Author: Moller F.G.

Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design
pp. 2-11(10)
Authors: Barringer H.; Fellows D.; Gough G.; Williams A.

Balsa: An Asynchronous Hardware Synthesis Language
pp. 12-18(7)
Authors: Edwards D.; Bardsley A.

Validating the AMULET Microprocessors
pp. 19-26(8)
Author: Furber S.

Relating Event and Trace Semantics of Hardware Description Languages
pp. 27-36(10)
Author: Gordon M.J.C.

A Thread of HOL Development
pp. 37-45(9)
Authors: Norrish M.; Slind K.

Formal Methods for Assuring Security of Protocols
pp. 46-54(9)
Authors: Older S.; Chin S-K.

A Modal Logic for Full LOTOS based on Symbolic Transition Systems
pp. 55-61(7)
Authors: Calder M.; Maharaj S.; Shankland C.

Traffic Modelling and Probabilistic Process Abstraction
pp. 62-67(6)
Author: Tofts C.

Book Reviews
pp. 68-71(4)
Authors: Tucker J.V.; Vorobyov S.; Tofts C.

Differentiated Information Presentations for Heterogeneous I/O Devices using a Single Mark-up Language Approach
pp. 72-87(16)
Authors: Huang C-M.; Chao Y-C.

Optimal Scheduling of Digital Signal Processing Data-flow Graphs using Shortest-path Algorithms
pp. 88-100(13)
Authors: Shatnawi A.; Ahmad M.O.; Swamy M.N.S.

A Multi-channel MAC Protocol with Power Control for Multi-hop Mobile Ad Hoc Networks
pp. 101-110(10)
Authors: Wu S-L.; Tseng Y-C.; Lin C-Y.; Sheu J-P.

A Framework for Developing and Analyzing Software Architecture Specifications in SAM
pp. 111-128(18)
Authors: He X.; Deng Y.

< previous issue | next issue > | all issues

Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages.
Page Help Click here for Page Help
Shopping cart
Tools
Sign in






Need to register?
Sign up here
Text size: A | A | A | A