Peter j .丹宁
225 - 227页
介绍了一种嵌入式微处理器命令控制程序的测试方法。一个简单的差分方程利用了由监测自然现象的程序计算的函数固有的连续性。
马文·沃特金斯
228 - 232页
本文比较了两种工作的基于网络的文件服务器，在Xerox Palo Alto研究中心实现的Xerox分布式文件系统(XDFS)和在剑桥大学实现的剑桥文件服务器(CFS)。
詹姆斯·g·米切尔，杰里米·迪翁
233 - 245页
描述了一种通信模型，该模型可作为局域网高效通信子系统的基础。该模型包含一个通信指令分类，可以有效地实现和…
阿尔弗雷德·z斯佩克特
246 - 260页
Grapevine是施乐研究互联网上的一个多计算机系统。它提供传送数码讯息的设施，例如电脑邮件;用于命名人、机器和服务;用于验证人和机器…
Andrew D. Birrell, Roy Levin, Michael D. Schroeder, Roger M. Needham
260 - 274页
描述了一种新的保护机制，它提供了用于保护和身份验证的通用原语。这种机制是基于用钥匙密封物体的想法。密封对象是自认证的，在……
大卫·k·吉福德
274 - 286页
Carl e .后备军人
292页
