ACM DL

Computer Systems (TOCS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Computer Systems (TOCS), Volume 5 Issue 2, May 1987

Gaining efficiency in transport services by appropriate design and implementation choices
Richard W. Watson, Sandy A. Mamrak
Pages: 97-120
DOI: 10.1145/13677.13678
End-to-end transport protocols continue to be an active area of research and development involving (1) design and implementation of special-purpose protocols, and (2) reexamination of the design and implementation of general-purpose protocols....

Monitoring distributed systems
Jeffrey Joyce, Greg Lomow, Konrad Slind, Brian Unger
Pages: 121-150
DOI: 10.1145/13677.22723
The monitoring of distributed systems involves the collection, interpretation, and display of information concerning the interactions among concurrently executing processes. This information and its display can support the debugging, testing,...

The development and proof of a formal specification for a multilevel secure system
Janice I. Glasgow, Glenn H. MacEwen
Pages: 151-184
DOI: 10.1145/13677.22724
This paper describes current work on the design and specification of a multilevel secure distributed system called SNet. It discusses security models in general, the various problems of information flows in SNet, and the abstract and concrete...