4099 search results - page 197 / 820 » A Framework for Interactive Proof |
145
Voted
DALT
2004
Springer
15 years 11 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
147
Voted
EICS
2010
ACM
15 years 10 months ago
2010
ACM
Fostering creativity in User Interface (UI) design is challenging for innovation. This paper explores the combination of model-based approaches and interactive genetic algorithms ...
151
click to vote
HUC
2007
Springer
15 years 9 months ago
2007
Springer
Securing interactions between devices that do not know each other a priori is an important and challenging task. We present Amigo, a technique to authenticate co-located devices us...
146
Voted
EUROCRYPT
2006
Springer
15 years 9 months ago
2006
Springer
Non-interactive zero-knowledge (NIZK) proof systems are fundamental cryptographic primitives used in many constructions, including CCA2-secure cryptosystems, digital signatures, an...
252
Voted
POPL
2001
ACM
16 years 5 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...