DEPARTMENT:
Editorial pointers
Editorial Pointers
Diane Crawford
Page 5
DEPARTMENT:
News track
News Track
CACM Staff
Pages 9-10
DEPARTMENT:
Forum
Forum
Diane Crawford
Pages 11-13
COLUMN:
Practical programmer
The Mystery of Formal Methods Disuse
A story of zealotry and chicanery.
Robert L. Glass
Pages 15-17
COLUMN:
Viewpoint
A Science of Design For Software-Intensive Systems
Computer science and engineering needs an intellectually rigorous, analytical, teachable design process to ensure development of systems we all can live with.
Peter Freeman, David Hart
Pages 19-21
COLUMN:
On site
Computer Science Education in Japan
Firsthand observations trace the current state, future potential, and obstacles ahead for Japanese academia.
Martin E. Bush
Pages 23-26
SPECIAL ISSUE:
Interactive immersion in 3D graphics
Introduction
Complex 3D worlds built from scientific data or transformed into multiplayer games can be experienced naturally, not just viewed through flat 2D windows.
Andrew Rosenbloom
Pages 28-31
Designing Cranial Implants in a Haptic Augmented Reality Environment
Medical sculptors and neurosurgeons create virtual 3D cranial models based on patient CT data superimposed over their hands as if they were sculpting physical models.
Chris Scharver, Ray Evenhouse, Andrew Johnson, Jason Leigh
Pages 32-38
Physically Based Virtual Painting
Tapping the compelling illusion of physical interaction with paints, brushes, surfaces, color, and light, users express the nuances of their visual and emotional imaginations.
Ming Lin, William Baxter, Vincent Scheib, Jeremy Wendt
Pages 40-47
Toward the Merging of Real and Virtual Spaces
In hybrid environments, where real and virtual overlap, participants naturally see, touch, and manipulate the object at hand.
Benjamin C. Lok
Pages 48-53
Visualizing Dynamic Architectural Environments
How to expose the internal 3D structures of multiplayer games and architectural models by automatically generating interactive exploded views.
Mike Houston, Chris Niederauer, Maneesh Agrawala, Greg Humphreys
Pages 54-59
Adaptive Document Layout
How to automatically reformat, resize, and paginate electronic text and graphics so documents look as good on displays of any size as they do on paper.
Charles Jacobs, Wil Li, Evan Schrier, David Bargeron, David Salesin
Pages 60-66
Is Hierarchical Public-Key Certification the Next Target For Hackers?
Considering alternatives to hierarchical authentication structures that are not sufficiently secure for communication on open networks such as the Internet.
Mike Burmester, Yvo G. Desmedt
Pages 68-74
Certified Mail: the Next Challenge For Secure Messaging
The lack of evidence for message receipt is a missing piece of the infrastructure required for the more professional use of email.
Rolf Oppliger
Pages 75-79
Electronic Frontiers in Foreign Exchange Trading
In pursuit of the $1.2-trillion-a-day opportunity.
John Gallaugher, Nigel Melville
Pages 81-87
2004 ACM Awards Banquet: a Night to Celebrate
ACM played host to over 200 industry luminaries at its 2004 Awards Banquet held June 5 at the Plaza Hotel in New York City. The event recognizes technical excellence and outstanding service to the computing field. The 2003 award …
CACM Staff
Pages 89-92
Does Telecommuting Really Increase Productivity?
As many companies have learned in the last decade, the reality of telecommuting does not reflect the hype, the expected potential, or the existing literature.
Ralph D. Westfall
Pages 93-96
Voice Says It All in the Navy
The commercial potential for voice technology innovations currently being developed by the U.S. Navy is immense.
David J. Paper, James A. Rodger, Steven J. Simon
Pages 97-101
Negotiating in Service-Oriented Environments
Buy or rent? This question applies not only to houses and cars, but now to software.
Ahmed Elfatatry, Paul Layzell
Pages 103-108
COLUMN:
Inside risks
Close Exposures of the Digital Kind
Lauren Weinstein
Page 120