Search Results

Computing Ethics Operationalizing AI Ethics Principles: A better ethics analysis guide for developers.

• Authors : Canca, Cansu¹

Subjects: *ARTIFICIAL intelligence; *COMPUTER ethics; *COMPUTER software

• Source: Communications of the ACM. Dec2020, Vol. 63 Issue 12, p18-21. 4p. 1 Color Photograph, 1 Chart.

Record details

Dynamic Safety Cases for Through-life Safety Assurance.

• Authors : Denney, Ewen; Pai, Ganesh; Habli, Ibrahim

Subjects: SAFETY; OPERATIONAL definitions; MANAGEMENT

• Source: ICSE: International Conference on Software Engineering; 2015, p587-590, 4p

Record details

From operational definitions to abstract semantics.

• Authors : Purushothaman, S.; Seaman, Jill

• Source: Proceedings of the Conference: Functional Programming Languages & Computer Architecture; 7/1/1993, p276-285, 10p

Record details

SYSTEM FUNCTION AND ARCHITECTURE: OPM-BASED DEFINITIONS AND OPERATIONAL TEMPLATES.

Subjects: DECOMPOSITION method; SYSTEM analysis; SYSTEMS theory

• Source: Communications of the ACM; Oct2003, Vol. 46 Issue 10, p67-72, 6p, 2 Color Photographs, 1 Chart

Record details

A Systematic Review of Cost, Effort, and Load Research in Information Search and Retrieval, 1972-2020.

• Authors : MCGREGOR, MOLLY; AZZOPARDI, LEIF; HALVEY, MARTIN

• Source: ACM Transactions on Information Systems; Jan2024, Vol. 42 Issue 1, p2-39, 39p

Record details

Emotive Captioning.

• Authors : Lee, Daniel G.; Fels, Deborah I.; Udo, John Patrick

Subjects: CLOSED captioning; TELEVISION viewers; DEAF people

• Source: Computers in Entertainment. Apr2007, Vol. 5 Issue 2, p1-15. 15p.

Record details

Designing Alternative Form-Autocompletion Tools to Enhance Privacy Decision-making and Prevent Unintended Disclosure.

• Authors : KNIJNENBURG, BART P.; BULGURCU, BURCU

• Source: ACM Transactions on Computer-Human Interaction (TOCHI); Dec2023, Vol. 30 Issue 6, p1-42, 41p

Record details

Measures of Information Leakage for Incomplete Statistical Information: Application to a Binary Privacy Mechanism.

• Authors : SAKIB, SHAHNEWAZ KARIM; AMARIUCAI, GEORGE T.; YONG GUAN

Subjects: DATA privacy; INFORMATION retrieval; INFORMATION theory

• Source: ACM Transactions on Privacy & Security; Nov2023, Vol. 26 Issue 4, p1-31, 31p

Record details

The Design and Implementation of a Verification Technique for GPU Kernels.

• Authors : BETTS, ADAM; CHONG, NATHAN; DONALDSON, ALASTAIR F.

Subjects: GRAPHICS processing units; KERNEL operating systems; SOFTWARE verification

• Source: ACM Transactions on Programming Languages & Systems; May2015, Vol. 37 Issue 3, p10:1-10:49, 49p

Record details

When Algorithms Err: Differential Impact of Early vs. Late Errors on Users’ Reliance on Algorithms.

• Authors : KIM, ANTINO; MOCHEN YANG; JINGJING ZHANG

Subjects: ALGORITHMS; AVERSION; DECISION making

• Source: ACM Transactions on Computer-Human Interaction (TOCHI); Feb2023, Vol. 30 Issue 1, p1-36, 36p

Record details