224 search results - page 29 / 45 » A Formal Treatment of Context-Awareness |
169
click to vote
APLAS
2001
ACM
15 years 10 months ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...
195
click to vote
ASIACRYPT
2001
Springer
15 years 10 months ago
2001
Springer
Dynamic group Diffie-Hellman protocols for Authenticated Key Exchange (AKE) are designed to work in a scenario in which the group membership is not known in advance but where parti...
163
click to vote
CLIMA
2007
15 years 8 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
183
click to vote
COMMA
2008
15 years 8 months ago
2008
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is an argumentation framework based on logic programming which incorporates a treatment of possibilistic uncertainty a...
145
click to vote
SLP
1989
15 years 7 months ago
1989
Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrence...