Computing Systems, Volume 7

Volume 7, Number 1, Winter 1994

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

Volume 7, Number 2, Spring 1994

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

Volume 7, Number 3, Summer 1994

• 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
• David B. Ingham, Graham D. Parrington: Delayline: A Wide-Area Network Emulation Tool. 313-332
• Darrell D. E. Long, Bruce R. Montague: Swift/RAID: A Distributed RAID System. 333-359
• Andreas Winckler: A Distributed Look-Ahead Workload Assignment Algorithm for Interdependent Tasks. 361-391
• 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

Volume 7, Number 4, Fall 1994

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