Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 9 of 3026 results
Sort by: relevance publication year

On the relationship between formal semantics and static analysis

JOURNAL ARTICLE published June 1996 in ACM Computing Surveys

Authors: P. N. Benton

User interfaces for formal methods

JOURNAL ARTICLE published December 1996 in ACM Computing Surveys

Authors: Doron Peled

The impact of the Web on networking research

JOURNAL ARTICLE published December 1996 in ACM Computing Surveys

Authors: Paul Green

Future directions in networking research

JOURNAL ARTICLE published December 1996 in ACM Computing Surveys

Authors: Jim Kurose

Future directions in knowledge-based systems

JOURNAL ARTICLE published December 1996 in ACM Computing Surveys

Authors: William R. Swartout

Some promising directions for database research

JOURNAL ARTICLE published December 1996 in ACM Computing Surveys

Authors: Raghu Ramakrishnan

Applications, storage hierarchy, and integration

JOURNAL ARTICLE published December 1996 in ACM Computing Surveys

Authors: Kai Li

Why OOP needs new semantic foundations

JOURNAL ARTICLE published December 1996 in ACM Computing Surveys

Authors: José Meseguer

Making the technology serve the user

JOURNAL ARTICLE published December 1996 in ACM Computing Surveys

Authors: Dick C. A. Bulterman

Constraint database technology for electronic trade with complex objectives

JOURNAL ARTICLE published December 1996 in ACM Computing Surveys

Authors: Alex Brodsky

Validation of timing properties

JOURNAL ARTICLE published December 1996 in ACM Computing Surveys

Authors: Jane Liu

Self-managing network-attached storage

JOURNAL ARTICLE published December 1996 in ACM Computing Surveys

Authors: Garth A. Gibson | John Wilkes

Customizing multimedia information access

JOURNAL ARTICLE published December 1995 in ACM Computing Surveys

Authors: Daniela Rus | Devika Subramanian

In memoriam Paris C. Kanellakis

JOURNAL ARTICLE published March 1996 in ACM Computing Surveys

Authors: Serge Abiteboul | Gabriel M. Kuper | Harry G. Mairson | Alexander A. Shvartsman | Moshe Y. Vardi

Integrated computational paradigms for flexible client-server communication

JOURNAL ARTICLE published June 1996 in ACM Computing Surveys

Authors: Jean-Marc Andreoli | Remo Pareschi

Operating systems

JOURNAL ARTICLE published March 1996 in ACM Computing Surveys

Authors: Raphel A. Finkel

Imperative functional programming

JOURNAL ARTICLE published June 1996 in ACM Computing Surveys

Authors: U. S. Reddy

Progress in programming languages

JOURNAL ARTICLE published March 1996 in ACM Computing Surveys

Authors: Kim B. Bruce

Privacy Intelligence: A Survey on Image Privacy in Online Social Networks

JOURNAL ARTICLE published 31 August 2023 in ACM Computing Surveys

Research funded by Australian Research Council, Australia (LP180101150)

Authors: Chi Liu | Tianqing Zhu | Jun Zhang | Wanlei Zhou

Deep Learning for Variable Renewable Energy: A Systematic Review

JOURNAL ARTICLE published 31 January 2024 in ACM Computing Surveys

Authors: Janice Klaiber | Clemens Van Dinther