The Computer Journal

Articles

Ing-Ray Chen

High Assurance Systems
The Computer Journal 2001 44: 471-472; doi:10.1093/comjnl/44.6.471 [PDF] [Request Permissions]  

Tadashi Dohi, Katerina Goseva-Popstojanova, and Kishor Trivedi

Estimating Software Rejuvenation Schedules in High-Assurance Systems
The Computer Journal 2001 44: 473-485; doi:10.1093/comjnl/44.6.473 [Abstract] [PDF] [Request Permissions]  

Steve Goddard and Kevin Jeffay

Managing Latency and Buffer Requirements in Processing Graph Chains
The Computer Journal 2001 44: 486-503; doi:10.1093/comjnl/44.6.486 [Abstract] [PDF] [Request Permissions]  

Jeffrey J. P. Tsai and Eric Y. T. Juan

Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
The Computer Journal 2001 44: 504-530; doi:10.1093/comjnl/44.6.504 [Abstract] [PDF] [Request Permissions]  

Iain Bate, Philippa Conmy, Tim Kelly, and John McDermid

Use of Modern Processors in Safety-Critical Applications
The Computer Journal 2001 44: 531-543; doi:10.1093/comjnl/44.6.531 [Abstract] [PDF] [Request Permissions]  

F. Grandoni, S. Chiaradonna, F. Di Giandomenico, and A. Bondavalli

Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications
The Computer Journal 2001 44: 544-556; doi:10.1093/comjnl/44.6.544 [Abstract] [PDF] [Request Permissions]  

Zhiwei Xu and Taghi M. Khoshgoftaar

Software Quality Prediction for High-Assurance Network Telecommunications Systems
The Computer Journal 2001 44: 557-568; doi:10.1093/comjnl/44.6.557 [Abstract] [PDF] [Request Permissions]  

Alessandro F. Garcia, Delano M. Beder, and Cecília M. F. Rubira

A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling
The Computer Journal 2001 44: 569-587; doi:10.1093/comjnl/44.6.569 [Abstract] [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.