736 search results - page 100 / 148 » A Science of Reasoning (Extended Abstract) |
157
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
135
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
128
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
152
click to vote
TCS
2008
15 years 4 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
129
click to vote
PLISP
1989
15 years 8 months ago
1989
Speculative computing is a technique to improve the execution time of certain applications by starting some computations before it is known that the computations are required. A s...