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.

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

Computer Communication Network: Approaches, Objectives, and performance Considerations
K. , S. , S. , and M.
RR-75-37
September, 1975

A Research Program in Computer Technology, Annual Technical Report, May 1974 - June 1975I. S. I. Staff
SR-75-3
September, 1975