A Research Program in Computer Technology
Annual rept. 1 Jul 1975-30 Jun 1976
UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST
Pagination or Media Count:
The research is aimed at applying computer science and technology to problem areas of high DoDmilitary impact. The ISI program consists of eight research areas Program Verification -- logical proof of program validity Programming Research Instrument -- development of a major time-shared microprogramming facility Specification Acquisition From Experts -- the study of acquiring and using problem knowledge for making informal program specifications more precise Protection Analysis -- methods of assessing the viability of security mechanisms of operating systems Information Automation -- development of a user-oriented message service for large-scale military requirements Network Secure Communication -- work on low-bandwidth, secure voice transmission using an asynchronous packet-switched network Special Projects -- a variety of activities and hardware developments in support of Institute programs and ARPANET TENEX Service -- operation of TENEX service and continuing development of advanced support equipment.
- Computer Programming and Software
- Computer Systems
- Computer Systems Management and Standards