- importsource = "00010782-2010-09.txt"
- Artículo:
Performance Evaluation and Model Checking Join Forces
- Autor:
Christel Baier
Boudewijn R. Haverkort
Holger Hermanns
Joost-Pieter Katoen
- Resumen:
A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques.
- Página:
76
- Publicación:
Communications of the ACM
- Volúmen:
53
- Número:
9
- Periodo:
Septiembre 2010
- ISSN:
00010782
- SrcID:
00010782-2010-09.txt
- Documento número 979928
- Actualizado el martes, 10 de julio de 2018 11:05:20 a. m.
- Creado el martes, 10 de julio de 2018 11:05:20 a. m.
- Enlace directo
- Artículo:
Technical Perspective: Programming With Differential Privacy
- Autor:
Johannes Gehrke
- Resumen:
Government agencies worldwide release statistical information about population, education, and health, crime, and economic activities. In the U.S., protecting this data …
- Página:
88
- Publicación:
Communications of the ACM
- Volúmen:
53
- Número:
9
- Periodo:
Septiembre 2010
- ISSN:
00010782
- SrcID:
00010782-2010-09.txt
- Documento número 979929
- Actualizado el martes, 10 de julio de 2018 11:05:20 a. m.
- Creado el martes, 10 de julio de 2018 11:05:20 a. m.
- Enlace directo
- Artículo:
Privacy Integrated Queries: An Extensible Platform for Privacy-Preserving Data Analysis
- Autor:
Frank McSherry
- Resumen:
Privacy Integrated Queries (PINQ) is an extensible data analysis platform designed to provide unconditional privacy guarantees for the records of the underlying data sets. PINQ's analysis language and its implementation provide …
- Página:
89
- Publicación:
Communications of the ACM
- Volúmen:
53
- Número:
9
- Periodo:
Septiembre 2010
- ISSN:
00010782
- SrcID:
00010782-2010-09.txt
- Documento número 979930
- Actualizado el martes, 10 de julio de 2018 11:05:20 a. m.
- Creado el martes, 10 de julio de 2018 11:05:20 a. m.
- Enlace directo
- Artículo:
Technical Perspective: Constraint Satisfaction Problems and Computational Complexity
- Autor:
Mark Jerrum
- Resumen:
It takes little imagination to come up with a wealth of problems in scheduling and planning that can be expressed as Constraint Satisfaction Problems (CSPs). It's no surprise …
- Página:
98
- Publicación:
Communications of the ACM
- Volúmen:
53
- Número:
9
- Periodo:
Septiembre 2010
- ISSN:
00010782
- SrcID:
00010782-2010-09.txt
- Documento número 979931
- Actualizado el martes, 10 de julio de 2018 11:05:20 a. m.
- Creado el martes, 10 de julio de 2018 11:05:20 a. m.
- Enlace directo
- Artículo:
Constraint Satisfaction Problems and Global Cardinality Constraints
- Autor:
Andrei A. Bulatov
Dániel Marx
- Resumen:
In a constraint satisfaction problem (CSP) the goal is to find an assignment of a given set of variables subject to specified constraints. A global cardinality constraint is an additional requirement that prescribes how many …
- Página:
99-106
- Publicación:
Communications of the ACM
- Volúmen:
53
- Número:
9
- Periodo:
Septiembre 2010
- ISSN:
00010782
- SrcID:
00010782-2010-09.txt
- Documento número 979932
- Actualizado el martes, 10 de julio de 2018 11:05:20 a. m.
- Creado el martes, 10 de julio de 2018 11:05:20 a. m.
- Enlace directo
