1302 search results - page 176 / 261 » Free-Style Theorem Proving |
IUI
2006
ACM
14 years 3 months ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
STOC
2006
ACM
14 years 3 months ago
2006
ACM
We investigate the question of whether security of protocols in the information-theoretic setting (where the adversary is computationally unbounded) implies the security of these ...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
ICECCS
2005
IEEE
14 years 2 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...