1818 search results - page 250 / 364 » Granularity-Adaptive Proof Presentation |
117
click to vote
SP
2005
IEEE
15 years 9 months 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]. ...
116
Voted
ASM
2005
ASM
15 years 9 months 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...
108
Voted
BIRTHDAY
2005
Springer
15 years 9 months 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...
146
click to vote
IFM
2005
Springer
15 years 9 months 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...
129
click to vote
ITRUST
2005
Springer
15 years 9 months 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...