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.

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

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

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

A Policy Assessment of Priorities and Functional Needs for the Military Computer-Aided Instruction Terminal
M. , T. , C. , R. , M. , W. , S. , and M.
RR-75-44
December, 1975

An Approach to Providing a User Interface for Military Computer Aided Instruction in 1980
Gallenson, L.
RR-75-43
November, 1975

Process Elaboration Formalism for Writing --- Analyzing Programs
W. and D.
RR-75-35
October, 1975

A Knowledgeable, Language-Independent System for Program Construction --- Modification
Y. and M.
RR-75-42
October, 1975

Dialogue-Based Research in Man-Machine Communication
M. and W.
RR-75-41
October, 1975

Basic Functional Capabilities for a Military Message Processing Service
O. , D. , T. , and R.
RR-74-23
September, 1975