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.

ARPA Navy CINCPAC Military Message Experiment SIGMA Primer
Holg, C.
TM-77-9
January, 1977

The ARPANET/TENEX Primer and the MSG Message Handling Program Pocket size (My77)
Holg, C.
TM-77-4
January, 1977

State Deltas: A Formalism for Representing Segments of Computation
C. and S.
RR-77-61
January, 1977

Working Papers in Dialogue Modeling Vol. 2
M. , W. , A. , A. , S. , and G.
RR-77-56
January, 1977

An Investigation of the Effects of Output Variability and Output Bandwidth on User Performance in an Interactive Computer System
Miller, L.H.
RR-76-50
December, 1976

ABSTRACTION and VERIFICATION in ALPHARD: A Symbol Table Example
L. , R. , S. , M. , W. , and W.
RR-76-51
December, 1976

The Design of Data Type Specifications
G. , J. , H. , E. , M. , and D.
RR-76-49
November, 1976

Design Considerations for a Computerized Message Service Based on Triservice Operations Personnel at CINCPAC Headquarters, Camp Smith, Oahu
H. , J. F. , M. , and L. H.
ISI/WP-3
September, 1976

A Teleconference on TELECONFERENCING
Bretz, R., Carlisle, J.H., Carlstedt, J., Crocker, D.H., Levin, J.A., and Press, L.
ISI/WP-4
September, 1976

ABSTRACTION and VERIFICATION in ALPHARD: Iteration and Generators
S. , M. , L. , R. , W. , and W.
RR-76-47
August, 1976