ACM Computing Surveys, Volume 25

Volume 25, Number 1, March 1993

• Farshid Arman, J. K. Aggarwal:
  Model-Based Object Recognition in Dense-Range Images - A Review. 5-43
  
• Marco Schneider:
  Self-Stabilization. 45-67
  

Volume 25, Number 2, June 1993

• Goetz Graefe:
  Query Evaluation Techniques for Large Databases. 73-170
  
• Michael Barborak, Miroslaw Malek:
  The Consensus Problem in Fault-Tolerant Computing. 171-220
  

Volume 25, Number 3, September 1993

• A. Udaya Shankar:
  An Introduction to Assertional Reasoning for Concurrent Systems. 225-262
  
• Michael G. Norman, Peter Thanisch:
  Models of Machines and Computation for Mapping in Multicomputers. 263-302
  
• David J. Lilja:
  Cache Coherence in Large-Scale Shared-Memory Multiprocessors: Issues and Comparisons. 303-338
  
• Randolph D. Nelson:
  The Mathematics of Product Form Queuing Networks. 339-369
  

Volume 25, Number 4, December 1993

• Richard Baskerville:
  Information Systems Security Design Methods: Implications for Information Systems Development. 375-414
  
• Bernhard Eschermann:
  State Assignment for Hardwired VLSI Control Units. 415-436
  
• James C. Brancheau, Carol V. Brown:
  The Management of End-User Computing: Status and Directions. 437-482