33356 search results - page 6551 / 6672 » Models of Continual Computation |
169
click to vote
ASIACRYPT
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Whereas encryption schemes withstanding passive chosenplaintext attacks (CPA) can be constructed based on a variety of computational assumptions, only a few assumptions a...
180
click to vote
ATAL
2007
Springer
16 years 16 days ago
2007
Springer
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are a popular approach for modeling multi-agent systems acting in uncertain domains. Given the signi...
175
click to vote
CADE
2007
Springer
16 years 16 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
177
click to vote
CCS
2007
ACM
16 years 16 days ago
2007
ACM
Intrusion detection is a critical component of secure information systems. Network anomaly detection has been an active and difficult research topic in the field of Intrusion Dete...
175
click to vote
CCS
2007
ACM
16 years 16 days ago
2007
ACM
Computer usage and threat models have changed drastically since the advent of access control systems in the 1960s. Instead of multiple users sharing a single file system, each us...