4099 search results - page 173 / 820 » A Framework for Interactive Proof |
156
click to vote
AAAI
1996
15 years 6 months ago
1996
In this paper we describe the design and implementation of the derivation replay framework, dersnlp+ebl (Derivational snlp+ebl), which is based within a partial order planner. der...
167
click to vote
IACR
2011
14 years 5 months ago
2011
We describe Charm, an extensible framework designed for rapid prototyping of cryptographic systems that utilize the latest advances in cryptography, such as identity and attribute...
133
click to vote
DEXAW
2008
IEEE
15 years 12 months ago
2008
IEEE
Faceted and dynamic taxonomies are increasingly used nowadays in a plethora of applications. For developing user interfaces grounded on this interaction paradigm, it is advantageo...
165
click to vote
DEXAW
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces a peer-to-peer agent framework for supporting autonomic applications in decentralized distributed environments. The framework provides agents to discover, co...
143
click to vote
SIGIR
1995
ACM
15 years 9 months ago
1995
ACM
In this paper, we describe the design of a reusable IR framework, called FIRE, that is being implemented to facilitate the development of IR systems. In addition, FIRE is designed...