Operating Systems Review, Volume 35, 2001
Volume 35, Number 1, January 2001
- Dongyao Ji, Yuming Wang:
Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao. 6-7 - D. Janaki Ram, M. Uma Mahesh, N. S. K. Chandra Sekhar, Chitra Babu:
Causal Consistency in Mobile Environment. 34-40 - Herman Chung-Hwa Rao, Yih-Farn Chen, Ming-Feng Chen:
A Proxy-Based Personal Web Archiving Service. 61-72 - Alberto Montresor, Renzo Davoli, Özalp Babaoglu:
Middleware for Dependable Network Services in Partitionable Distributed Systems. 73-84 - Maurice Herlihy, Srikanta Tirthapura, Roger Wattenhofer:
Ordered Multicast and Distributed Swap. 85-96
Volume 35, Number 2, April 2001
- Greg Eisenhauer, Fabián E. Bustamante, Karsten Schwan:
A Middleware Toolkit for Client-Initiated Service Specialization. 7-20 - Ahmed Al-Theneyan, Piyush Mehrotra, Mohammad Zubair:
Enhancing Jini for Use Across Non-Multicastable Networks. 21-30 - Radu Litiu, Atul Prakash:
DACIA: A Mobile Component Framework for Buildinh Adaptive Distributed Applications. 31-42 - Yuqing Zhang, Chunling Wang, Jianping Wu, Xing Li:
Using SMV for Cryptographic Protocol Analysis: A Case Study. 43-50 - Zhiyi Huang, Chengzheng Sun, Martin K. Purvis, Stephen Cranefield:
View-based Consistency and False Sharing Effect in Distributed Shared Memory. 51-60 - Athena Vakali, Evimaria Terzi:
Multimedia Data Storage and Representation Issues on Tertiary Storage Subssystems: An Overview. 61-77 - Youhui Zhang, Dongsheng Wang, Weimin Zheng:
Transparent Checkpointing and Rollback Recovery Mechanism for Windows NT Applications. 78-85
Volume 35, Number 3, July 2001
- Alok Shriram, Anuraag Sarangi, Avinash Shankar:
ICHU Model For Processor Allocation In Distributed Operating Systems. 16-21 - Bu-Sung Lee, Wentong Cai, Stephen John Turner, Jit-Beng Koh:
Comparison of Network Protocol and Architecture for Distributed Virtual Simulation Environment. 30-42 - Bidyut Gupta, Samir K. Banerjee:
A Roll-Forward Recovery Scheme for Solving the Problem of Coasting Forward for Distributed Systems. 55-66
Volume 35, Number 4, October 2001
- Gregory Saunders, Michael Hitchens, Vijay Varadharajan:
Role-Based Access Control and the Access Control Matrix. 6-20 - Dan Oestreicher:
Experience With a Commercial Java Implementation of Group Communication using Reliable Multicast. 21-31 - Chang-Seop Park, Dong Hoon Lee:
Secure and Efficient Key Management for Dynamic Multicast Groups. 32-38 - Constantinos Dovrolis, Brad Thayer, Parameswaran Ramanathan:
HIP: Hybrid Interrupt-Polling for the Network Interface. 50-60 - Sukanya Suranauwarat, Hideo Taniguchi:
The Design, Implementation and Initial Evaluation of an Advanced Knowledge-based Process Scheduler. 61-81
Volume 35, Number 5, December 2001
- Keith Marzullo, M. Satyanarayanan:
Proceedings of the 18th ACM Symposium on Operating System Principles, SOSP 2001, Chateau Lake Louise, Banff, Alberta, Canada, October 21-24, 2001. ACM 2001, ISBN 1-58113-389-8 [contents]