1564 search results - page 68 / 313 » Extensions to the Estimation Calculus |
137
click to vote
UC
2007
Springer
15 years 11 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...
139
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
146
click to vote
ICTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
157
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
143
click to vote
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...