09/2011
vol. 54 no. 09
Practice
Contributed Articles
Review Articles
54 Protecting Users
of the Cyber Commons
Establish a global cyber
“neighborhood watch” to enable
users to take defensive action
to protect their operations.
By Stephen J. Lukasik
62 Realizing the Future of Wireless
Data Communications
Technologies exist to unlock radio
spectrum as consumers need it.
By Craig Partridge
78 Quantitative Analysis of
Real-Time Systems Using
Priced Timed Automata
Timed automata and their
extensions allow for analysis
of a wide range of performance
and optimization problems.
By Patricia Bouyer, Uli Fahrenberg,
Kim G. Larsen, and Nicolas Markey
Research Highlights
69 Satisfiability Modulo Theories:
Introduction and Applications
vChecking the satisfiability
of logical formulas, SMT solvers
scale orders of magnitude
beyond custom ad hoc solvers.
By Leonardo de Moura
and Nikolaj Bjørner
42
90 Technical Perspective
Making Browser Extensions Secure
By Christopher Kruegel
38 Arrogance in Business Planning
Technology business plans that
assume no competition—ever.
By Paul Vixie
42 The Most Expensive
One-Byte Mistake
Did Ken, Dennis, and Brian
choose wrong with NUL-terminated
text strings?
By Poul-Henning Kamp
91 Vetting Browser Extensions for
Security Vulnerabilities with VEX
By Sruthi Bandhakavi, Nandit Tiku,
Wyatt Pittman, Samuel T. King,
P. Madhusudan, and Marianne Winslett
45 ACM CTO Roundtable on Mobile
Devices in the Enterprise
Finding solutions as growth
and fragmentation complicate
mobile device support.
By Mache Creeger
Calculating and Improving ROI
in Software and System Programs
The investment value of innovation
follows from the technology’s
uncertain net present value and
derived ROI calculations.
By Murray Cantor
100 Technical Perspective
Abstracting Abstract Machines
By Olivier Danvy and Jan Midtgaard
Crossing to the Dark Side:
Examining Creators, Outcomes,
and Inhibitors of Technostress
Exploring the factors that may
lead to the inability of professionals
to adapt or cope with emerging IS
in a healthy manner.
By Monideepa Tarafdar,
Qiang Tu, T.S. Ragu-Nathan,
and Bhanu S. Ragu-Nathan
101 Abstracting Abstract Machines:
A Systematic Approach to
Higher-Order Program Analysis
By David Van Horn
and Matthew Might
Articles’ development led by
queue.acm.org
illustration by gary neill
about the Cover:
Progress in protecting
cyberspace has moved
at a snail’s pace, often
adopting a fix-on-demand
approach. this month’s
cover story introduces
the notion of attacking
the challenge with
top-down and bottom-up
processes designed
to work together.
