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 44, Number 6, 2001
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

High Assurance Systems
pp. 471-472(2)

Estimating Software Rejuvenation Schedules in High-Assurance Systems
pp. 473-485(13)
Authors: Dohi T.; Goscaroneva-Popstojanova K.

Managing Latency and Buffer Requirements in Processing Graph Chains
pp. 486-503(18)
Author: Goddard S.

Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
pp. 504-530(27)
Author: Tsai J.J.P.

Use of Modern Processors in Safety-Critical Applications
pp. 531-543(13)
Authors: Bate I.; Conmy P.; Kelly T.

Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications
pp. 544-556(13)
Authors: Grandoni F.; Chiaradonna S.; Di Giandomenico F.

Software Quality Prediction for High-Assurance Network Telecommunications Systems
pp. 557-568(12)
Author: Xu Z.

A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling
pp. 569-587(19)
Authors: Garcia A.F.; Beder D.M.

< 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