1302 search results - page 128 / 261 » Soundness in the Public-Key Model |
177
click to vote
LAWEB
2003
IEEE
15 years 11 months ago
2003
IEEE
In order to the software and web measurement field becomes a more robust engineering discipline it is mandatory to start reaching a common agreement between researchers and other s...
147
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
201
click to vote
POPL
1991
ACM
15 years 10 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
162
click to vote
BILDMED
2009
15 years 7 months ago
2009
Abstract. Reflection of sound waves, due to acoustic impedance mismatch at the interface of two media, is the principal physical property which allows visualization with ultrasound...
185
click to vote
TSE
2010
15 years 4 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...