2282 search results - page 233 / 457 » Active property checking |
171
click to vote
LOPSTR
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
159
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
168
Voted
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
141
click to vote
PG
1999
IEEE
15 years 10 months ago
1999
IEEE
Uniform cubic B-spline functions have been used for mapping functions in various areas such as image warping and morphing, 3D deformation, and volume morphing. The injectivity (on...
152
click to vote
FOCS
1998
IEEE
15 years 10 months ago
1998
IEEE
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...