June 2012 - Vol. 55 No. 6
Features
The Halting Problem in the Clear Light of Probability
Protecting Against Data Breaches; Living With Mistakes
Don’t Throw the Baby Out With the Bathwater
Security of the Internet and the Known Unknowns
Why Computer Scientists Should Care About Cyber Conflict and U.S. National Security Policy
A Guided Tour of Data-Center Networking
Modeling People and Places with Internet Photo Collections
Real-Time Computer Vision with OpenCV
Why Rumors Spread So Quickly in Social Networks
Trust Extension For Commodity Computers
The GCT Program Toward the P vs. NP Problem
Technical Perspective: Reconstructing the Unknown, Balancing Structure and Uncertainty
Exact Matrix Completion via Convex Optimization
Technical Perspective: The Fox and the Hedgehog
Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs
Puzzled: Solutions and Sources