Re "The Risks of Self-Auditing Systems" (June 2016): While Internet voting (like any remote-voting method) is indeed vulnerable to vote buying and selling, end-to-end verifiable voting is not.
In this paper we present a concurrency model based on transactional memory. All the usual benefits of transactional memory are present, but in addition we describe modular forms of blocking and choice that were inaccessible in earlier work.
To the question Vinton G. Cerf addressed in his President's Letter "Where Is the Science in Computer Science?" (Oct. 2012), my first answer would be that there isn't any. A true science like physics or chemistry studies some aspect of physical reality.
The EyeSi surgical simulation immerses the surgeon in an environment of real surgical instruments, virtual tissue deformations, and interactive 3D graphics.
We identify gas-focused vulnerabilities and present MadMax: a static program analysis technique that automatically detects gas-focused vulnerabilities with very high confidence.
While Phillip G. Armour’s "The Business of Software" column ("Counting Boulders and Measuring Mountains," Jan. 2006) was based on good ideas, many of them were overshadowed by errors and omissions that made it difficult to understand what he was getting at. A systems perspective is necessary, but even systems engineers can miss the wider view, […]
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Communications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
