3333 search results - page 366 / 667 » Abstract Proof Search |
151
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. In radiotherapy, the constant margin taken around the visible tumor is a very coarse approximation of the invasion margin of cancerous cells. In this article, a new formu...
298
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
295
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
150
click to vote
FSE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We provide the first proof of security for Tandem-DM, one of the oldest and most wellknown constructions for turning a blockcipher with n-bit blocklength and 2n-bit keyle...
144
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...