Science Has Only Two Legs
Science has been growing new legs of late. The traditional "legs" (or "pillars") of the scientific method were theory and experimentation. Computational science has been called …
Moshe Y. Vardi
Page 5
DEPARTMENT:
Letters to the editor
More Than One Way to Annotate Metadata
"Managing Scientific Data" (June 2010) explained that data generated by research projects is valuable only when annotated with metadata describing the data's provenance, …
CACM Staff
Page 7
DEPARTMENT:
[email protected]
Expanding CS Education; Improving Software Development
Ed H. Chi writes about the social Web's impact on CS education. Ruben Ortega discusses software and test-driven development.
Ed H. Chi, Ruben Ortega
Pages 8-9
DEPARTMENT:
CACM online
More Communications
Numbers give meaning to the promises on the Communications Web site to deliver timely, substantive content that complements the magazine's peer-reviewed material and makes Communications a valued component of ACM membership.
…
David Roman
Page 12
COLUMN:
News
Brains and Bytes
Computational neuroscientists are learning that the brain is like a computer, except when it isn't.
David Lindley
Pages 13-15
Cycling Through Data
Sensor-equipped bicycles are providing valuable data to cyclists, city planners, and computer scientists.
Neil Savage
Pages 16-17
Degrees, Distance, and Dollars
The Internet is making higher education accessible to a whole new class of students—but not necessarily at a lower cost.
Marina Krakovsky
Pages 18-19
ACM China Nearing Launch
ACM's expansion into China will support local professionals and increase Chinese involvement in ACM's international activities.
Tom Geller
Page 20
Kyoto Prize and Other CS Awards
László Lovász, Vinton G. Cerf, and other researchers are honored for their contributions to computer science.
Jack Rosenberger
Page 21
COLUMN:
The business of software
Return at Risk
Calculating the likely true cost of projects.
Phillip G. Armour
Pages 23-25
COLUMN:
Law and Technology
Principles of the Law of Software Contracts
An overview of a new set of legal principles for software contracts developed by the American Law Institute.
Robert A. Hillman, Maureen A. O'Rourke
Pages 26-28
COLUMN:
The profession of IT
Discussing Cyber Attack
Cyber attack—the other side of cyber defense—deserves a more open discussion than it has been getting.
Peter J. Denning, Dorothy E. Denning
Pages 29-31
COLUMN:
Viewpoint
Objects Never? Well, Hardly Ever!
Revisiting the Great Objects Debate.
Mordechai Ben-Ari
Pages 32-35
COLUMN:
Point/Counterpoint
Future Internet Architecture: Clean-Slate Versus Evolutionary Research
Should researchers focus on designing new network architectures or improving the current Internet?
Jennifer Rexford, Constantine Dovrolis
Pages 36-40
SECTION:
Practice
Computers in Patient Care: The Promise and the Challenge
Information technology has the potential to radically transform health care. Why has progress been so slow?
Stephen V. Cantrill
Pages 42-47
Injecting Errors For Fun and Profit
Error-detection and correction features are only as good as our ability to test them.
Steve Chessin
Pages 48-54
Thinking Clearly About Performance, Part 1
Improving the performance of complex software is difficult, but understanding some fundamental principles can make it easier.
Cary Millsap
Pages 55-60
SECTION:
Contributed articles
Confronting the Myth of Rapid Obsolescence in Computing Research
Computing research ages more slowly than research in other scientific disciplines, supporting the call for parity in funding.
Dag I. K. Sjøberg
Pages 62-67
Erlang
The same component isolation that made it effective for large distributed telecom systems makes it effective for multicore CPUs and networked applications.
Joe Armstrong
Pages 68-75
SECTION:
Review articles
Performance Evaluation and Model Checking Join Forces
A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques.
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Pages 76-85
SECTION:
Research highlights
Technical Perspective: Programming With Differential Privacy
Government agencies worldwide release statistical information about population, education, and health, crime, and economic activities. In the U.S., protecting this data …
Johannes Gehrke
Page 88
Privacy Integrated Queries: An Extensible Platform For Privacy-Preserving Data Analysis
Privacy Integrated Queries (PINQ) is an extensible data analysis platform designed to provide unconditional privacy guarantees for the records of the underlying data sets. PINQ's analysis language and its implementation provide …
Frank McSherry
Pages 89-97
Technical Perspective: Constraint Satisfaction Problems and Computational Complexity
It takes little imagination to come up with a wealth of problems in scheduling and planning that can be expressed as Constraint Satisfaction Problems (CSPs). It's no surprise …
Mark Jerrum
Page 98
Constraint Satisfaction Problems and Global Cardinality Constraints
In a constraint satisfaction problem (CSP) the goal is to find an assignment of a given set of variables subject to specified constraints. A global cardinality constraint is an additional requirement that prescribes how many …
Andrei A. Bulatov, Dániel Marx
Pages 99-106
COLUMN:
Last byte
Puzzled: Solutions and Sources
It's amazing how little we know about good old plane geometry. Last month (August 2010, p. 128) we posted a trio of brainteasers, including one as yet unsolved, concerning figures on a plane. Here, we offer solutions to two of …
Peter Winkler
Page 110
Future Tense: Little Brother Is Watching
In a world of technology and fear, the public gets to know what it wants to know . . . and more than it can possibly digest.
Greg Bear
Pages 112-ff