10568 search results - page 1955 / 2114 » Computer Intelligence and Formalization |
163
click to vote
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
Probabilistic database systems have successfully established themselves as a tool for managing uncertain data. However, much of the research in this area has focused on efficient...
134
click to vote
CBSE
2011
Springer
14 years 3 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...
146
click to vote
CIKM
2011
Springer
14 years 3 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
133
Voted
CRYPTO
2011
Springer
14 years 3 months ago
2011
Springer
Deterministic public-key encryption, introduced by Bellare, Boldyreva, and O’Neill (CRYPTO ’07), provides an alternative to randomized public-key encryption in various scenari...
169
Voted
CRYPTO
2011
Springer
14 years 3 months ago
2011
Springer
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...