- importsource = "00010782-2011-12.txt"
- Artículo:
Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
- Autor:
Jean Yang
Chris Hawblitzel
- Resumen:
High-level computer applications build on services provided by lower-level software layers. Unfortunately, today's low-level software still suffers from a steady stream of bugs, often leaving computers vulnerable to attack …
- Página:
123
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
12
- Periodo:
diciembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-12.txt
- Documento número 89442
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
- Artículo:
Technical Perspective: Anonymity Is Not Privacy
- Autor:
Vitaly Shmatikov
- Resumen:
We live in an era of data abundance. Every aspect of our online and offline behavior is captured and analyzed. The companies holding our data face the responsibility for protecting our privacy, especially as they sell and exchange …
- Página:
132
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
12
- Periodo:
diciembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-12.txt
- Documento número 89443
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
- Artículo:
Wherefore Art Thou R3579X?: Anonymized Social Networks, Hidden Patterns, and Structural Steganography
- Autor:
Lars Backstrom
Cynthia Dwork
Jon Kleinberg
- Resumen:
In a social network, nodes correspond to people or other social entities, and edges correspond to social links between them. We describe a family of attacks such that it is possible to learn whether edges exist or not between …
- Página:
133
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
12
- Periodo:
diciembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-12.txt
- Documento número 89444
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
- Artículo:
Puzzled: Solutions and Sources
- Autor:
Peter Winkler
- Resumen:
Last month (Nov. 2011, p. 120) we posted a trio of brainteasers, including one as yet famously unsolved, concerning distances between points on the plane. Here, we offer solutions to two of them. How did you do?
- Página:
142
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
12
- Periodo:
diciembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-12.txt
- Documento número 89445
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
- Artículo:
Computing for Humans
- Autor:
Moshe Y. Vardi
- Resumen:
Leibniz conceived of a universal mathematical language in which all human knowledge can be expressed, and calculational rules carried out by machines to derive all logical relationships. His definition of computing captures …
- Página:
5
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
12
- Periodo:
diciembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-12.txt
- Documento número 980238
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
