4099 search results - page 133 / 820 » A Framework for Interactive Proof |
146
click to vote
ESORICS
2007
Springer
15 years 9 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
168
Voted
JSC
2002
15 years 5 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
155
click to vote
IWCMC
2006
ACM
15 years 11 months ago
2006
ACM
Cross-Layer design has been the focus of several recent research efforts. Due to the highly variable nature of the links used in wireless communication systems and the resource-po...
167
click to vote
UIST
2010
ACM
15 years 3 months ago
2010
ACM
New input technologies (such as touch), recognition based input (such as pen gestures) and next-generation interactions (such as inexact interaction) all hold the promise of more ...
164
click to vote
MHCI
2007
Springer
15 years 11 months ago
2007
Springer
The proposed demonstration is based on the work performed in the PERCI project and presents a generic framework to access and interact with Web Services through mobile interaction...