5255 search results - page 452 / 1051 » Formal Methods for Privacy |
191
click to vote
SAFECOMP
2007
Springer
16 years 1 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
180
click to vote
OOPSLA
2004
Springer
16 years 7 days ago
2004
Springer
This poster presents MonitorMethod which helps Java programmers gain insight in the behavior of their applications. MonitorMethod instruments the Java application and relates hard...
177
click to vote
ICMCS
2010
IEEE
15 years 8 months ago
2010
IEEE
According to a popular pattern recognition method, this paper proposes two methods to generate a secret from individual's biometric information, such as fingerprint feature p...
133
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
In a consumer video, there are not only intended objects, which are intentionally captured by the camcorder user, but also unintended objects, which are accidentally framed-in. Sin...
186
click to vote
ICDM
2009
IEEE
15 years 4 months ago
2009
IEEE
The k-anonymization method is a commonly used privacy-preserving technique. Previous studies used various measures of utility that aim at enhancing the correlation between the orig...