Peter J. Denning
Pages 225-227
A technique for testing embedded-microprocessor command and control programs is described. The continuity inherent in functions computed by programs which monitor natural phenomena is exploited by a simple difference equation …
Marvin L. Watkins
Pages 228-232
This paper compares two working network-based file servers, the Xerox Distributed File System (XDFS) implemented at the Xerox Palo Alto Research Center, and the Cambridge File Server (CFS) implemented at the Cambridge University …
James G. Mitchell, Jeremy Dion
Pages 233-245
A communication model is described that can serve as a basis for a highly efficient communication subsystem for local networks. The model contains a taxonomy of communication instructions that can be implemented efficiently and …
Alfred Z. Spector
Pages 246-260
Grapevine is a multicomputer system on the Xerox research internet. It provides facilities for the delivery of digital messages such as computer mail; for naming people, machines, and services; for authenticating people and machines …
Andrew D. Birrell, Roy Levin, Michael D. Schroeder, Roger M. Needham
Pages 260-274
A new protection mechanism is described that provides general primitives for protection and authentication. The mechanism is based on the idea of sealing an object with a key. Sealed objects are self-authenticating, and in the …
David K. Gifford
Pages 274-286
Carl E. Landwehr
Page 292
