9067 search results - page 1812 / 1814 » Adaptive Model Checking |
SIGIR
2011
ACM
14 years 9 days ago
2011
ACM
Search engine switching is the voluntary transition between Web search engines. Engine switching can occur for a number of reasons, including user dissatisfaction with search resu...
121
Voted
ATAL
2011
Springer
13 years 9 months ago
2011
Springer
Central to the vision of the smart grid is the deployment of smart meters that will allow autonomous software agents, representing the consumers, to optimise their use of devices ...
CIKM
2011
Springer
13 years 9 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 ...
112
click to vote
CRYPTO
2011
Springer
13 years 9 months ago
2011
Springer
In CRYPTO 1997, Canetti et al.put forward the intruiging notion of deniable encryption, which (informally) allows a sender and/or receiver, having already performed some encrypted...
111
click to vote
CRYPTO
2011
Springer
13 years 9 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...