Optimizing modular logic languages

JOURNAL ARTICLE published September 1998 in ACM Computing Surveys

Authors: Michele Bugliesi | Anna Ciampolini | Evelina Lamma | Paola Mello

Corrigenda: “Concepts and notations for concurrent programs”

JOURNAL ARTICLE published 2 December 1983 in ACM Computing Surveys

Authors: Gregory Andrews | Fred B. Schneider

Partial evaluation for software engineering

JOURNAL ARTICLE published September 1998 in ACM Computing Surveys

Authors: C. Consel | L. Hornof | R. Marlet | G. Muller | S. Thibault | E.-N. Volanschi | J. Lawall | J. Noyé

The MITRE map navigation experiment

JOURNAL ARTICLE published June 1999 in ACM Computing Surveys

Authors: Jeffrey L. Kurtz | Laurie E. Damianos | Robyn Kozierok | Lynette Hirschman

Informedia Experience-on-Demand

JOURNAL ARTICLE published June 1999 in ACM Computing Surveys

Authors: Howard D. Wactlar | Michael G. Christel | Alexander G. Hauptmann | Yihong Gong

Human Induction in Machine Learning

JOURNAL ARTICLE published 30 April 2022 in ACM Computing Surveys

Authors: Petr Spelda | Vit Stritecky

In Memoriam Sherif Sakr (1979–2020)

JOURNAL ARTICLE published 30 November 2021 in ACM Computing Surveys

Editors: Albert Y. Zomaya

Lexical semantics and automatic hypertext construction

JOURNAL ARTICLE published December 1999 in ACM Computing Surveys

Authors: Stephen J. Green

Framework extraction with domain analysis

JOURNAL ARTICLE published March 2000 in ACM Computing Surveys

Authors: Giancarlo Succi | Andrea Valerio | Tullio Vernazza | Massimo Fenaroli | Paolo Predonzani

A framework for isolating connection expection management

JOURNAL ARTICLE published March 2000 in ACM Computing Surveys

Authors: Partha Pratim Pal

Towards agent oriented application frameworks

JOURNAL ARTICLE published March 2000 in ACM Computing Surveys

Authors: Davide Brugali | Katia Sycara

On randomization in sequential and distributed algorithms

JOURNAL ARTICLE published March 1994 in ACM Computing Surveys

Authors: Rajiv Gupta | Scott A. Smolka | Shaji Bhaskar

Introduction to the electronic symposium on computer-supported cooperative work

JOURNAL ARTICLE published June 1999 in ACM Computing Surveys

Authors: Kevin L. Mills

Demystify the Fuzzing Methods: A Comprehensive Survey

JOURNAL ARTICLE published 31 March 2024 in ACM Computing Surveys

Research funded by National Science and Technology Council of the Republic of China (111-2628-E-A49-007-MY2 and 112-2634-F-A49-001-MBK)

Authors: Sanoop Mallissery | Yu-Sung Wu

Survey on Digital Sovereignty and Identity: From Digitization to Digitalization

JOURNAL ARTICLE published 31 March 2024 in ACM Computing Surveys

Authors: Kheng Leong Tan | Chi-Hung Chi | Kwok-Yan Lam

Response to the essay “On computational complexity and the nature of computer science”

JOURNAL ARTICLE published March 1995 in ACM Computing Surveys

Authors: Juris Hartmanis

The disappearance of the “pure” software industry

JOURNAL ARTICLE published March 1995 in ACM Computing Surveys

Authors: Laszlo A. Belady

Imagistic reasoning

JOURNAL ARTICLE published September 1995 in ACM Computing Surveys

Authors: Kenneth Yip | Feng Zhao | Elisha Sacks

Government funding and computing research priorities

JOURNAL ARTICLE published March 1995 in ACM Computing Surveys

Authors: Fred Weingarten

Don't leave your plan on the shelf

JOURNAL ARTICLE published September 1995 in ACM Computing Surveys

Authors: Austin Tate