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 Forward Inference Engine to Aid in Understanding Specifications
RS-84-135
August, 1984

Semantic Interpretation Using KL-ONE
B. , R. , W. , and R.
RS-84-140
August, 1984

Some OSI Experience of the ARPA-Internet
K. and P.
RS-84-142
July, 1984

The MOSIS StoryD. Cohen
RS-84-139
July, 1984

1983 Annual Technical Report: July 1982 - June 1983I. S. I. Staff
SR-84-138
July, 1984

The Domain Name System
RS-84-133
June, 1984

An Experimental Internetwork Multimedia Mail System
RS-84-134
June, 1984

Satellite Communication of Real-Time Packet Video ImagesCohen, D.
RS-84-136
June, 1984

Constraint Equations: A Concise Compilable Representation for Quantified Constraints in Semantic Networks
M. and M.
RS-84-137
June, 1984

Implementation of Interlisp on the VAX
D. , D. , K. , and J.
RS-84-129
May, 1984