5 President’s Letter
ACM’s Place in the Global Picture By Wendy Hall
7 Publisher’s Corner 50 Years Young By Scott E. Delman
9 Letters To The Editor Knuth’s Art of Recovering from Errors
10 CACM Online We’re All Ears By David Roman
100 Careers
11 Finding Diamonds in the Rough
Spectral graph theory has proven to be very useful for text search and retrieval and for refining predictive-analysis systems.
By Kirk L. Kroeker
14 Ubiquitous Video
Scalable and distributed video coding offers the promise of two-way, real-time video.
By Logan Kugler
17 Privacy Matters
As concerns about protecting personal data increase, differential privacy offers a promising solution. By Samuel Greengard
19 Wisdom From Randy Pausch Weeks before his death on July 25, Randy Pausch graciously commented on his life’s work, his hopes for computer science, and his regard for the students who are its future.
By Leah Hoffmann
22 Technology Strategy and Management The Puzzle of Apple
Given Apple’s unique characteristics, should it strive to be a platform or a product leader?
By Michael Cusumano
25 Kode Vicious
Pride and Prejudice (The Vasa) Navigating the well-traveled course of communication failure that often leads to engineering disasters.
By George Neville-Neil
27 IT Policy
Science Policy Isn’t Always
About Science
What is the appropriate role and level of influence for science and technical advice in policy deliberations?
By Cameron Wilson and Peter Harsha
30 Viewpoint
Global Warming Toward Open Educational Resources Seeking to realize the potential for significantly improving and advancing the world’s standard of education.
By Richard G. Baraniuk and C. Sidney Burrus
34 How Do I Model State? Let Me Count the Ways
A study of the technology and sociology of Web service specifications. by Ian Foster, Savas Parastatidis, Paul Watson, and Mark McKeown
42 Powering Down
Smart power management is all about doing more with the resources we have.
By Matthew Garrett
47 CTO Storage Roundtable, Part Two Leaders in the storage industry ponder upcoming technologies and trends.
By Mache Creeger, Moderator
54 Software Engineering and Formal Methods
The answer to software reliability concerns may lie in formal methods. By Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, and Tiziana Margaria
References:
Archives