671 search results - page 53 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
107
click to vote
IFIP11
2004
15 years 2 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
EDUTAINMENT
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we describe a framework for generating 3D paper-cutting effects on mesh models. The framework involves the construction of model defined paper-cutting patterns, extr...
125
click to vote
SIGDIAL
2010
14 years 8 months ago
2010
We present a first step towards a model of speech generation for incremental dialogue systems. The model allows a dialogue system to incrementally interpret spoken input, while si...
160
click to vote
ICCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
106
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...