Communications of the ACM
Refine your search:
Contingency Plans for CS Students in Large Classes
Some of our students will get sick before the end of the term. We need a plan.
From BLOG@CACM
Why Is There No Well-Known Swiss IT Industry?
Herbert Bruderer asks why no information technology industry emerged in Switzerland in the 1950s, despite the appearance of computers from several sources.
From BLOG@CACM
Are My Requirements Complete?
Knowing the notion of sufficient completeness and the theory of abstract data types helps practitioners produce better requirements.
From BLOG@CACM
Soundness and Completeness: With Precision
The two key properties of program analysis are dual of each other.
From BLOG@CACM
An Agile Approach to Learning Programming
The Super Simple Programming Book is one example to teach programming in an Agile way. In general, Agile concepts can lead to highly effective learning.
From BLOG@CACM
Calculating With Roman Numerals is Not So Difficult
How to deal with Roman numerals and without a sign for zero in an additive number system, if no hand abacus is available?
From BLOG@CACM
More Replicas of Historical Calculating Machines Found
Documenting the discovery of several previously unknown replicas of historical computing devices made by Roberto A. Guatelli.
From BLOG@CACM
The Model Maker of Leonardo da Vinci, Blaise Pascal, and Charles Babbage
Discovery of a previously unknown replica of the legendary Swiss Millionaire calculating machine at Carnegie Mellon University in Pittsburgh, PA.
From BLOG@CACM
What Turing and Church Left Out
Concurrency control for readers and writers in a database is a classic problem that illustrates the power of message passing.
From BLOG@CACM
Did Albert Einstein Calculate on the 'Millionaire' in Zurich?
In 1897, ETH Zurich was the first university in the world to have a copy of the legendary four-species calculating machine Millionaire.
From BLOG@CACM
Validating Beneficial AI
The foundational work of the first AI for Good Summit allows the AI community to work together to create an infrastructure for responsible communication, development...
From BLOG@CACM
Articulation of Decision Responsibility
Can we establish a locution for the results of a program that does not ascribe decision-making power?
From BLOG@CACM
Securing Threats to Election Systems
Election systems are supposed to be disconnected from the Internet, for obvious and sensible reasons. Most elections today, however, use computers.
From BLOG@CACM
Time To End The vi/Emacs Debate
If you still use Emacs, I feel for you. Perhaps it is time to give vi a try.
From BLOG@CACM
A Computing Education Research Perspective on Programmable Programming Languages
Computing education researcher take on the implications of programmable programming languages
From BLOG@CACM
Operating Systems as Possible Worlds
Is a comparison between operating systems, which are analyzed by software engineers for conditional execution paths, and possible worlds, which are analyzed by...
From BLOG@CACM
Cyber Insecurity and Cyber Libertarianism
Here we are, 70 years into the computer age and we still do not seem to know how to build secure information systems. And yet, our community marches forward with...
From BLOG@CACM
Star Trek@50: Inspiring Discovery and Innovation
Star Trek has inspired generations to pursue science and technology careers, not a few of whom have transformed part of it into technological and commercial fact...
From BLOG@CACM