3742 search results - page 606 / 749 » On the Use of Formal Techniques for Validation |
177
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Securing wireless sensor networks against node capture is a challenging task. All well-known random key pre-distribution systems, including the Eschenauer and Gligor's pionee...
194
click to vote
BIODATAMINING
2008
15 years 6 months ago
2008
This editorial introduces BioData Mining, a new journal which publishes research articles related to advances in computational methods and techniques for the extraction of useful ...
193
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
High quality meshes are crucial for the solution of partial differential equations (PDEs) via the finite element method (or other PDE solvers). The accuracy of the PDE solution,...
229
click to vote
ICDIM
2010
IEEE
15 years 4 months ago
2010
IEEE
Data mining aims at extraction of previously unidentified information from large databases. It can be viewed as an automated application of algorithms to discover hidden patterns a...
263
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper, we propose the first formal privacy analysis of a data anonymization process known as the synthetic data generation, a technique becoming popular in the statistics c...