Communications of the ACM
Refine your search:
Cook-Levin: The Ugly Underbelly is Good for Us
Don't just tell your students that SAT is NP-Complete; show why.
From BLOG@CACM
Logical Beats Sequential
Often, "we do this and then we do that" is just a lazy way of stating "to do that, we must have achieved this."
From BLOG@CACM
A Standard Plan for Modern Requirements
The ambitious systems that we develop today need a proper requirements structure. The plan defined here organizes requirements specification along four books, the...
From BLOG@CACM
John McCarthy
The contributions and personality of John McCarthy, one of the pioneers of computer science.
From BLOG@CACM