923 search results - page 75 / 185 » Proving the value of formal methods |
184
click to vote
TYPES
1994
Springer
15 years 10 months ago
1994
Springer
A special final coalgebra theorem, in the style of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's AntiFoundation Axiom is replaced by a varia...
188
click to vote
CSFW
2012
IEEE
13 years 8 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
210
click to vote
TKDE
2012
13 years 8 months ago
2012
—Moving Object Databases (MOD), although ubiquitous, still call for methods that will be able to understand, search, analyze, and browse their spatiotemporal content. In this pap...
154
click to vote
DAGM
2009
Springer
16 years 21 days ago
2009
Springer
In this paper, we address the problem of image sequence segmentation with dynamical shape priors. While existing formulations are typically based on hard decisions, we propose a fo...
173
click to vote
CSFW
2006
IEEE
16 years 6 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...