8398 search results - page 1600 / 1680 » Optimal Software Testing |
117
Voted
SIGIR
2011
ACM
14 years 3 months ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
106
click to vote
ATAL
2011
Springer
14 years 20 days ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
209
click to vote
CADE
2011
Springer
14 years 20 days ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
102
Voted
IACR
2011
14 years 9 days ago
2011
Software drive encryption systems are vulnerable to memory attacks, in which an attacker gains physical accesses to the unattended computer, obtains the decryption keys from memor...
131
Voted
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...