2393 search results - page 51 / 479 » Adaptive Narrative Abstraction |
ISW
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Canetti and Rabin recently proposed a universally composable ideal functionality FSIG for digital signatures. We show that this functionality cannot be securely realized ...
101
click to vote
OHS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In this paper we present the architecture of an Adaptive Educational Hypermedia System, named INSPIRE. This particular system, throughout its interaction with the learner...
IFL
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
TGC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
ISVC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents a quantitative evaluation of the accuracy of different sphere-tree construction methods when they are used in deformable bodies. The methods evaluate...