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.

To be assigned a technical report number, please contact Computing Information Services.

Journal articles and other publications can be found here.

The {CC++} Language DefinitionM. K. Chandy, C. Kesselman,
1992

The Derivation of Compositional ProgramsM. K. Chandy, C. Kesselman,
1992

Compositional Parallel Programming in Cc++K. M. Chandy, C. Kesselman,
1992

Compositional C++: Compositional parallel programmingM. K. Chandy, C. Kesselman,
TR-92-13
1992

Organizing Plan Libraries in Subsumption Hierarchies: Specificity Based Plan Selection
RR-93-305
December, 1991

A Distributed Architecture for Multimedia Conference ControlSchooler, E.
RR-91-289
November, 1991

NSF Workshop on Information Capture and Access in Engineering Design Environments. Cornell University, November 11-14, 1991, Working Group Report: Design Capture
A. and G.
RR-92-295
November, 1991

Intelligent User Interfaces
Feiner, S., Foley, J., John, B., and Pausch, R.
RR-91-288
September, 1991

Knowledge Resources or Decisions?
RR-93-322
August, 1991

Role and Use of User Model
C. and B.
RR-93-323
August, 1991