1116 search results - page 195 / 224 » Applying Predicate Abstraction to Abstract State Machines |
156
click to vote
CONCUR
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
139
click to vote
ICALP
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
120
click to vote
IPOM
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. On the inter-domain Internet today, the address prefix origin in our BGP operations has become a major security concern. This critical problem can be stated simply as ...
149
click to vote
SACRYPT
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Side-channel collision attacks were proposed in [1] and applied to AES in [2]. These are based on detecting collisions in certain positions of the internal state after th...
168
click to vote
DAGM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents the integration of 3D shape knowledge into a variational model for level set based image segmentation and tracking. Having a 3D surface model of an ob...