4224 search results - page 634 / 845 » Reasoning about Choice |
171
click to vote
SEFM
2006
IEEE
16 years 18 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
162
click to vote
SP
2006
IEEE
16 years 18 days ago
2006
IEEE
Classification accuracy in intrusion detection systems (IDSs) deals with such fundamental problems as how to compare two or more IDSs, how to evaluate the performance of an IDS, ...
188
click to vote
SRDS
2006
IEEE
16 years 18 days ago
2006
IEEE
We present Cryptree, a cryptographic tree structure which facilitates access control in file systems operating on untrusted storage. Cryptree leverages the file system’s folde...
219
click to vote
ACL2
2006
ACM
16 years 17 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
207
click to vote
ACL2
2006
ACM
16 years 17 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...