Formal Methods in Railways: A Systematic Mapping Study

JOURNAL ARTICLE published 30 April 2023 in ACM Computing Surveys

Research funded by European Union’s Horizon 2020 (777561, 881775)

Authors: Alessio Ferrari | Maurice H. Ter Beek

A Survey on End-User Robot Programming

JOURNAL ARTICLE published 30 November 2022 in ACM Computing Surveys

Research funded by National Science Foundation Graduate Research Fellowship Program (DGE-1746891)

Authors: Gopika Ajaykumar | Maureen Steele | Chien-Ming Huang

JOURNAL ISSUE published 1 February 2008 in ACM Computing Surveys

JOURNAL ISSUE published 1 April 2008 in ACM Computing Surveys

JOURNAL ISSUE published 1 March 1995 in ACM Computing Surveys

JOURNAL ISSUE published 25 December 2006 in ACM Computing Surveys

Doomed to Repeat with IPv6? Characterization of NAT-centric Security in SOHO Routers

JOURNAL ARTICLE published 31 December 2023 in ACM Computing Surveys

Authors: Karl Olson | Jack Wampler | Eric Keller

Program adaptation based on program transformation

JOURNAL ARTICLE published December 1996 in ACM Computing Surveys

Authors: Charles Consel

Partial evaluation for program comprehension

JOURNAL ARTICLE published September 1998 in ACM Computing Surveys

Authors: Sandrine Blazy | Philippe Facon

Non-Deterministic Algorithms

JOURNAL ARTICLE published June 1979 in ACM Computing Surveys

Authors: Jacques Cohen

Distributed, object-based programming systems

JOURNAL ARTICLE published March 1991 in ACM Computing Surveys

Authors: Roger S. Chin | Samuel T. Chanson

A Survey of Indexing Techniques for Sparse Matrices

JOURNAL ARTICLE published June 1973 in ACM Computing Surveys

Authors: Udo W. Pooch | Al Nieder

A taxonomy and survey of SCTP research

JOURNAL ARTICLE published August 2012 in ACM Computing Surveys

Research funded by ARCO (TEC2010-15198) | Spanish Research Council and FEDER funds under ODYSSEY (TEC2006-09109) | Sixth Framework Programme (FP6-IST-507325)

Authors: Łukasz Budzisz | Johan Garcia | Anna Brunstrom | Ramon Ferrús

Graphical represenation and graph transformation

JOURNAL ARTICLE published September 1999 in ACM Computing Surveys

Authors: Hartmut Ehrig | Gabriele Taentzer

Framework description using concern-specific design patterns composition

JOURNAL ARTICLE published March 2000 in ACM Computing Surveys

Authors: António Rito Silva | Francisco Assis Rosa | Teresa Gonçalves

An overview of software agent-oriented frameworks

JOURNAL ARTICLE published March 2000 in ACM Computing Surveys

Authors: Zakaria Maamar | Bernard Moulin

Some contributions of the study of abstract communication complexity to other areas of computer science

JOURNAL ARTICLE published September 1999 in ACM Computing Surveys

Authors: Juraj Hromkovič

Computing surveys' electronic symposium on the theory of computation

JOURNAL ARTICLE published September 1999 in ACM Computing Surveys

Authors: P. Degano | R. Gorrieri | A. Marchetti-Spaccamela | P. Wegner

The San Francisco project

JOURNAL ARTICLE published March 2000 in ACM Computing Surveys

Authors: Verlyn Johnson

Documenting framework behavior

JOURNAL ARTICLE published March 2000 in ACM Computing Surveys

Authors: Neelam Soundarajan