660 search results - page 74 / 132 » The Implicit Calculus of Constructions |
111
Voted
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
102
Voted
IJCAI
2001
15 years 2 months ago
2001
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...
138
click to vote
DBSEC
1996
15 years 2 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
94
Voted
ENTCS
2008
15 years 26 days ago
2008
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...
90
Voted
ENTCS
2007
15 years 23 days ago
2007
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...