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.

A Tutorial for Use of the TENEX Electronic Notebook-Conference (TEN-C) System on the ARPANET
C. and J.
July, 1975

An Editor to Support Military Message Processing Personnel
R. and J.
June, 1975

Pattern-Directed Protection Evaluation
C. , P. , and G.
June, 1975

Observation Methods for Human Dialogue
M. , W. , C. , J. , L. , and J.
June, 1975

An Intelligent Tutor: On-line Documentation and Help for a Military Message Service
R. and J.
May, 1975

PRIM User's ManualL. Gallenson, J. Goldberg, R. Mason, and D. Oestreicher
April, 1975

A Heuristic Approach to Computer Systems Performance Improvement, I: A Fast Performance Prediction Tool
K. and S.
March, 1975

Why Things are So Bad for the Computer-Naive User
M. and W.
March, 1975

Automatic Program Verification I: A Logical Basis --- Its implementation, In ACTA INFORMATICA 4, 145-182 (1975)
I. , S. , L. , R. , L. , and D.
January, 1975

Military Message Processing System Design, January 10, 1975
Internal Rpt
January, 1975