ACM Computing Surveys, Volume 41

Volume 41, Number 1, December 2008

• Jens Bleiholder, Felix Naumann:
  Data fusion.
  
• Andy Cockburn, Amy K. Karlson, Benjamin B. Bederson:
  A review of overview+detail, zooming, and focus+context interfaces.
  
• Michael Benedikt, Christoph Koch:
  XPath leashed.
  
• Richard B. Borie, R. Gary Parker, Craig A. Tovey:
  Solving problems on recursively constructed graphs.
  
• Jose Antonio Onieva, Jianying Zhou, Javier Lopez:
  Multiparty nonrepudiation: A survey.
  
• Kate Smith-Miles:
  Cross-disciplinary perspectives on meta-learning for algorithm selection.
  
• Besma R. Abidi, Nash R. Aragam, Yi Yao, Mongi A. Abidi:
  Survey and analysis of multimodal sensor planning and integration for wide area surveillance.
  

Volume 41, Number 2, February 2009

• Nathan Brown:
  Chemoinformatics - an introduction for computer scientists.
  
• Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan:
  Using formal specifications to support testing.
  
• Roberto Navigli:
  Word sense disambiguation: A survey.
  
• Alicia Iriberri, Gondy Leroy:
  A life-cycle perspective on online community success.
  
• Xiaoguang Qi, Brian D. Davison:
  Web page classification: Features and algorithms.
  
• Carlo A. Furia, Matteo Pradella, Matteo Rossi:
  Comments on temporal logics for real-time system specification.
  

Volume 41, Number 3, July 2009

• Gary H. Sockut, Balakrishna R. Iyer:
  Online reorganization of databases.
  
• Varun Chandola, Arindam Banerjee, Vipin Kumar:
  Anomaly detection: A survey.
  
• Carlo Batini, Cinzia Cappiello, Chiara Francalanci, Andrea Maurino:
  Methodologies for data quality assessment and improvement.
  
• Claudio Carpineto, Stanislaw Osinski, Giovanni Romano, Dawid Weiss:
  A survey of Web clustering engines.
  

Volume 41, Number 4, October 2009

• C. A. R. Hoare, Jayadev Misra:
  Preface to special issue on software verification.
  
• Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald:
  Formal methods: Practice and experience.
  
• Natarajan Shankar:
  Automated deduction for verification.
  
• Ranjit Jhala, Rupak Majumdar:
  Software model checking.
  
• C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar:
  The verified software initiative: A manifesto.