acm-header
Sign In

Communications of the ACM

Practice Archive


Archives

The Practice archive provides access to all Practice articles published in past issues of Communications of the ACM.

February 2016


From Communications of the ACM

The Verification of a Distributed System

The Verification of a Distributed System

A practitioner's guide to increasing confidence in system correctness.


From Communications of the ACM

Accountability in Algorithmic Decision Making

Accountability in Algorithmic Decision Making

A view from computational journalism.


From Communications of the ACM

Schema.org: Evolution of Structured Data on the Web

Schema.org

Big data makes common schemas even more necessary.