2272 search results - page 315 / 455 » A Calculus for |
121
click to vote
UC
2007
Springer
15 years 10 months ago
2007
Springer
We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...
155
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
126
click to vote
ISPW
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. In this paper, the mobility of software processes, a novel concept, is proposed. It is defined as the structural change in a software process resulting from interactions...
140
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
142
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...