Volume 54; Issue 9

Communications of the ACM

Volume 54; Issue 9
1

Satisfiability modulo theories : introduction and applications

De Moura, Leonardo, Bjørner, Nikolaj
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 443 KB
english, 2011
4

Invasion of the mobile apps

Anthes, Gary
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 687 KB
english, 2011
5

In the Virtual Extension

CACM Staff,
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 76 KB
english, 2011
6

Calculating and improving ROI in software and system programs

Cantor, Murray
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 1.11 MB
english, 2011
7

Making browser extensions secure

Kruegel, Christopher
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 81 KB
english, 2011
8

Jeannette M. Wing @ PCAST; Barbara Liskov keynote

Wing, Jeannette M., Barr, Valerie
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 387 KB
english, 2011
9

Protecting users of the cyber commons

Lukasik, Stephen J.
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 4.05 MB
english, 2011
10

The most expensive one-byte mistake

Kamp, Poul-Henning
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 2.20 MB
english, 2011
11

Q&A

Hoffmann, Leah
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 1.24 MB
english, 2011
12

Remaking American medicine

Savage, Neil
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 1.18 MB
english, 2011
14

ACM CTO roundtable on mobile devices in the enterprise

Creeger, Mache
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 9.67 MB
english, 2011
15

Realizing the future of wireless data communications

Partridge, Craig
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 1002 KB
english, 2011
16

Abstracting abstract machines

Van Horn, David, Might, Matthew
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 2.81 MB
english, 2011
17

Crossing to the dark side

Tarafdar, Monideepa, Tu, Qiang, Ragu-Nathan, T. S., Ragu-Nathan, Bhanu S.
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 1.08 MB
english, 2011
18

Corporate social responsibility and global IT outsourcing

Babin, Ron, Briggs, Steve, Nicholson, Brian
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 515 KB
english, 2011
19

Solved, for all practical purposes

CACM Staff,
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 80 KB
english, 2011
20

Are you talking to me?

Vardi, Moshe Y.
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 94 KB
english, 2011
21

A breakthrough in algorithm design

Kroeker, Kirk L.
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 1.08 MB
english, 2011
22

Remix nation

Tushnet, Rebecca
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 1.88 MB
english, 2011
23

In praise of 'Wilkes, Wheeler, and Gill'

Campbell-Kelly, Martin
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 1.29 MB
english, 2011
24

Arrogance in business planning

Vixie, Paul
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 114 KB
english, 2011
25

Managing time, part 2

Denning, Peter J., Raj, Ritu
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 440 KB
english, 2011
26

Abstracting abstract machines

Danvy, Olivier, Midtgaard, Jan
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 88 KB
english, 2011
27

Puzzled

Winkler, Peter
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 80 KB
english, 2011