Computing Systems, Volume 7

Volume 7, Number 1, Winter 1994

Willis H. Ware: Policy Considerations for Data Networks. 1-44 BibTeX
Raphael Yahalom, Birgit Klein, Thomas Beth: Trust-Based Navigation in Distribution Systems. 45-73 BibTeX
Marjan Krajewski Jr., John C. Chipchak, David A. Chodorow, Jonathan T. Trostle: Applicability of Smart Cards to Network User Authentication. 75-89 BibTeX
Allan Heydon, J. D. Tygar: Specifying and Checking UNIX Security Constraints. 91-112 BibTeX
Leonard J. LaPadula: A Rule-Set Approach to Formal Modeling of a Trusted Computer System. 113-167 BibTeX

Brent B. Welch: A Comparison of Three Distributed File System Architectures: Vnode, Sprite, and Plan 9. 175-199 BibTeX
Jeffrey C. Mogul: Recovery in Spritely NFS. 201-262 BibTeX
Scott D. Carson, Sanjeev Setia: Optimal Write Batch Size in Log-Structured File Systems. 263-281 BibTeX

Alan Dearle, Rex di Bona, James Farrow, Frans A. Henskens, Anders Lindström, John Rosenberg, Francis Vaughan: Grasshopper: An Orthogonally Persistent Operating System. 289-312 BibTeX
David B. Ingham, Graham D. Parrington: Delayline: A Wide-Area Network Emulation Tool. 313-332 BibTeX
Darrell D. E. Long, Bruce R. Montague: Swift/RAID: A Distributed RAID System. 333-359 BibTeX
Andreas Winckler: A Distributed Look-Ahead Workload Assignment Algorithm for Interdependent Tasks. 361-391 BibTeX
Yen-Jen Oyang, Le-Chun Wu: Optimal Design of Megabyte Second-Level Caches for Minimizing Bus Traffic in Shared-Memory Shared-Bus Multiprocessors. 393-408 BibTeX

Oliver Laumann, Carsten Bormann: Elk: The Extension Language Kit. 419-449 BibTeX
Raphael Yahalom: Secure Timeliness: On the Cost of Non-Synchronized Clocks. 451-465 BibTeX
Kelvin D. Nilsen: Reliable Real-Time Garbage Collection of C++. 467-504 BibTeX