ISI Technical Reports

This section contains all Technical Reports published by ISI over the past several decades. The search box below enables searches by report titles, authors and report numbers. Technical Reports written by ISI researchers, but not published by ISI, may be available through the author’s individual website.

Journal articles and other publications can be found here.

ABSTRACTION and VERIFICATION in ALPHARD: Introduction to Language and Methodology
W. , W. , L. , R. , S. , and M.
RR-76-46
June, 1976

Protection Errors in Operating Systems: Allocation/Deallocation Residuals
Hollingworth, D. and Bisbey, R.
SR-76-7
June, 1976

Design Considerations for a Computerized Message Service Based on Washington, D.C. Navy Personnel
H. , J. F. , Y. , M. D. , R. , and J. G.
ISI/WP-1
May, 1976

XED User's Manual: Beginning Instruction
I. S. I. Staff
TM-76-3
May, 1976

Proteus: An Activation Framework for Cognitive Process Models
L. and J. A.
ISI/WP-2
May, 1976

Protection Errors in Operating Systems: Validation of Critical Conditions
C. and J.
SR-76-5
May, 1976

Specifications for the Network Voice Protocol (NVP)
Cohen, D.
RR-75-39
March, 1976

Data Dependency Analysis
C. and J.
RR-76-45
February, 1976

Protection Errors in Operating Systems: Inconsistency of a Single Data Value Over Time
C. , J. , P. , and G.
SR-75-4
December, 1975

Imprecise Program Specification
Balzer, R.M.
RR-75-36
December, 1975