Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Contents: Volume 38, Number 4, 1995   [Index by Author] 
Other Issues: Previous Next  

Down Articles


[Search ALL Issues]

Front Matter (PDF) | Back Matter (PDF)

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.

Articles Back

Saurav Chatterjee and Jay Strosnider
Distributed Pipeline Scheduling: A Framework for Distributed, Heterogeneous Real-Time System Design
The Computer Journal 1995 38: 271-285; doi:10.1093/comjnl/38.4.271 [Abstract] [PDF] [Request Permissions]  

Scott Dawson and Farnam Jahanian
Probing and Fault Injection of Dependable Distributed Protocols
The Computer Journal 1995 38: 286-300; doi:10.1093/comjnl/38.4.286 [Abstract] [PDF] [Request Permissions]  

Wolfgang A. Halang, Bernd Krämer, and Leszek Trybus
Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software
The Computer Journal 1995 38: 301-309; doi:10.1093/comjnl/38.4.301 [Abstract] [PDF] [Request Permissions]  

Benjamin Macias and Stephen G. Pulman
A Method for Controlling the Production of Specifications in Natural Language
The Computer Journal 1995 38: 310-318; doi:10.1093/comjnl/38.4.310 [Abstract] [PDF] [Request Permissions]  

Alexander D. Stoyenko, Thomas J. Marlowe, and Mohamed F. Younis
A Language for Complex Real-Time Systems
The Computer Journal 1995 38: 319-338; doi:10.1093/comjnl/38.4.319 [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.