


default search action
ACM Computing Surveys, Volume 41
Volume 41, Number 1, December 2008
- Jens Bleiholder, Felix Naumann
:
Data fusion. 1:1-1:41 - Andy Cockburn, Amy K. Karlson, Benjamin B. Bederson
:
A review of overview+detail, zooming, and focus+context interfaces. 2:1-2:31 - Michael Benedikt
, Christoph Koch:
XPath leashed. 3:1-3:54 - Richard B. Borie, R. Gary Parker, Craig A. Tovey
:
Solving problems on recursively constructed graphs. 4:1-4:51 - Jose Antonio Onieva
, Jianying Zhou
, Javier López
:
Multiparty nonrepudiation: A survey. 5:1-5:43 - Kate Smith-Miles
:
Cross-disciplinary perspectives on meta-learning for algorithm selection. 6:1-6:25 - Besma R. Abidi, Nash R. Aragam, Yi Yao, Mongi A. Abidi:
Survey and analysis of multimodal sensor planning and integration for wide area surveillance. 7:1-7:36
Volume 41, Number 2, February 2009
- Nathan Brown:
Chemoinformatics - an introduction for computer scientists. 8:1-8:38 - Robert M. Hierons
, Kirill Bogdanov, Jonathan P. Bowen
, Rance Cleaveland, John Derrick
, Jeremy Dick, Marian Gheorghe
, Mark Harman
, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons
, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan:
Using formal specifications to support testing. 9:1-9:76 - Alicia Iriberri, Gondy Leroy:
A life-cycle perspective on online community success. 11:1-11:29 - Xiaoguang Qi, Brian D. Davison
:
Web page classification: Features and algorithms. 12:1-12:31 - Carlo A. Furia, Matteo Pradella
, Matteo Rossi:
Comments on temporal logics for real-time system specification. 13:1-13:5
Volume 41, Number 3, July 2009
- Gary H. Sockut, Balakrishna R. Iyer:
Online reorganization of databases. 14:1-14:136 - Varun Chandola, Arindam Banerjee, Vipin Kumar:
Anomaly detection: A survey. 15:1-15:58 - Carlo Batini, Cinzia Cappiello
, Chiara Francalanci, Andrea Maurino:
Methodologies for data quality assessment and improvement. 16:1-16:52 - Claudio Carpineto, Stanislaw Osinski, Giovanni Romano
, Dawid Weiss:
A survey of Web clustering engines. 17:1-17:38
Volume 41, Number 4, October 2009
- C. A. R. Hoare, Jayadev Misra:
Preface to special issue on software verification. 18:1-18:3 - Jim Woodcock
, Peter Gorm Larsen
, Juan Bicarregui
, John S. Fitzgerald
:
Formal methods: Practice and experience. 19:1-19:36 - Natarajan Shankar:
Automated deduction for verification. 20:1-20:56 - Ranjit Jhala, Rupak Majumdar:
Software model checking. 21:1-21:54 - C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar:
The verified software initiative: A manifesto. 22:1-22:8

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.