2904 search results - page 46 / 581 » Valuing Design Repair |
CIKM
2010
Springer
13 years 7 months ago
2010
Springer
We study the problem of anonymizing data with quasi-sensitive attributes. Quasi-sensitive attributes are not sensitive by themselves, but certain values or their combinations may ...
CONCUR
2003
Springer
14 years 2 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
GRC
2008
IEEE
13 years 10 months ago
2008
IEEE
Hiding data values in privacy-preserving data mining (PPDM) protects information against unauthorized attacks while maintaining analytical data properties. The most popular models...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
AADEBUG
2000
Springer
14 years 1 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...