1779 search results - page 316 / 356 » A Formal Model of Data Privacy |
135
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
In recent years, the blogosphere has experienced a substantial increase in the number of posts published daily, forcing users to cope with information overload. The task of guidin...
163
click to vote
JAR
2000
15 years 3 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
140
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
133
click to vote
CRYPTO
2000
Springer
15 years 8 months ago
2000
Springer
Private information retrieval (PIR) enables a user to retrieve a data item from a database, replicated among one or more servers, while hiding the identity of the retrieved item. ...
144
click to vote
TOMACS
1998
15 years 3 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...