A Research Program in Computer Technology. 1977 Annual Technical Report
Abstract
This report summarizes the research performed under Contract DAHC15- 72-C-0308 by USC/Information Sciences Institute from 1 July 1976 to 30 June 1977. The research is aimed at applying computer science and technology to areas of high DoD/military impact. The ISI program consists of eleven research AREAS: Program Verification - logical proof of program validity; Information Automation - development of a user-oriented message service for large-scale military requirements; Specification Acquisition from Experts - the study of acquiring and using program knowledge for making informal program specifications more precise; Network Secure Communication - work on low-bandwidth secure voice transmission using an asynchronous packet-switched network; Command and Control Graphics - development of a device-independent graphic system and graphics- oriented command and control applications programs; Programming Research Instrument - development of a major time-shared microprogramming facility; Protection Analysis - methods of assessing the viability of security mechanisms of operating systems; Distributed Sensors Network - developing algorithms and communication protocols to support the operation of geographically distributed sensors; Packet Radio Terminal Mockup - development of a mockup of a minimum- size, low-power display terminal to illuminate human factors issues in portable environments; User-Dedicated Resource - assistance to an documentation for ARPANET users worldwide; and ARPANET TENEX Service - operation of TENEX service and continuing development of advanced support equipment.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1977
- Accession Number
- ADA045673
Entities
Organizations
- University of Southern California