1818 search results - page 250 / 364 » Granularity-Adaptive Proof Presentation |
157
click to vote
SP
2005
IEEE
16 years 13 days ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
151
click to vote
ASM
2005
ASM
16 years 12 days ago
2005
ASM
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
165
click to vote
BIRTHDAY
2005
Springer
16 years 12 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
201
click to vote
IFM
2005
Springer
16 years 11 days ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
181
click to vote
ITRUST
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Question answering systems users may find answers without any supporting information insufficient for determining trust levels. Once those question answering systems beg...