8828 search results - page 164 / 1766 » Formal methods in practice |
236
click to vote
ICDE
2008
IEEE
16 years 5 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...
135
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
User-defined preferences allow personalized ranking of query results. A user provides a declarative specification of his/her preferences, and the system is expected to use that ...
128
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
138
click to vote
DEEC
2005
IEEE
15 years 10 months ago
2005
IEEE
A base of clearly defined product information is a key foundation for an e-commerce system. The manipulation and exchange of semantically enriched and precise product information ...
138
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we introduce a framework to supplement and tag computerized CPG with related best-evidence automatically sourced from on-line medical literature repositories. The id...