For the past five years, we have been co-chairs on Communications
' editorial board for the Contributed Articles and Review Articles sections. The articles we receive are representative of the expansive reach of information technology …
Alfred Aho, Georg Gottlob
DEPARTMENT: From the President
Over the past decade, the Internet and its governance has become the topic of major discussion, debate, and controversy.
Vinton G. Cerf
DEPARTMENT: Letters to the Editor
Gerard J. Holzmann's article "Mars Code" (Feb. 2014) demonstrated a nonblocking implementation of concurrent double-ended queues to not work through an application of Holzmann's own Spin model checker. However, the demonstration …
Mark Guzdial considers why computing education lags behind other sciences, while Daniel Reed weighs balancing immediate research needs against future uncertainty.
Mark Guzdial, Daniel Reed
Patient information databases eventually will help improve health outcomes and support development of new therapies.
The practical need for accurate instant or simultaneous machine translations continues to grow as applications multiply.
A European law spurs scientists to develop computational simulations capable of predicting the toxicity of cosmetics.
COLUMN: Technology strategy and management
Assessing the rapidly evolving realm of massive open online courses.
Michael A. Cusumano
COLUMN: Global computing
Encouraging the opportunities for digital innovation and invention to flourish in a variety of social environments.
Michael L. Best
COLUMN: Kode Vicious
The meaning of bits and avoiding upgrade bogdowns.
George V. Neville-Neil
Seeking personalized data-derived insights from analysis of our digital traces.
The current generation of general-purpose multicore hardware must be fixed to support more application domains and to allow cost-effective parallel programming.
The edge of the Internet is an unruly place.
Becoming better, faster, cheaper, and happier.
Ivar Jacobson, Pan-Wei Ng, Ian Spence, Paul E. McMahon
Decoupled from IP, TCP is at last able to support multihomed hosts.
Christoph Paasch, Olivier Bonaventure
SECTION: Contributed articles
Student-participation data from the inaugural MITx (now edX) course — 6.002x: Circuits and Electronics — unpacks MOOC student behavior.
Daniel T. Seaton, Yoav Bergner, Isaac Chuang, Piotr Mitros, David E. Pritchard
With the help of computational proof assistants, formal verification could become the new standard for rigor in mathematics.
Jeremy Avigad, John Harrison
Scala unifies traditionally disparate programming-language philosophies to develop new components and component systems.
Martin Odersky, Tiark Rompf
SECTION: Review articles
AR systems pose potential security concerns that should be addressed before the systems become widespread.
Franziska Roesner, Tadayoshi Kohno, David Molnar
SECTION: Research highlights
Jacobson et al. construct a deformation method that allows a wide range of handle types (points, line segments, open and closed polygons) and produces deformations that are biharmonic functions.
Changing an object's shape is a basic operation in computer graphics. Our goal is to make the design and control of deformations simpler by allowing the user to work freely with the most convenient combination of handle types …
Alec Jacobson, Ilya Baran, Jovan Popović, Olga Sorkine-Hornung
COLUMN: Last byte
For some, data collecting will always be more rewarding than data mining.