12487 search results - page 180 / 2498 » Graspable Work Modeling |
117
click to vote
CRYPTO
2001
Springer
15 years 8 months ago
2001
Springer
Building on a previous important work of Cachin, Cr´epeau, and Marcil [15], we present a provably secure and more efficient protocol for 2 1 -Oblivious Transfer with a storage-bou...
90
Voted
AAAI
2006
15 years 5 months ago
2006
1 This article summarizes recent progress in developing a validated computational account of the cognitive antecedents and consequences of emotion. We describe the potential of thi...
130
Voted
MBUI
2004
15 years 5 months ago
2004
Based on a set of characteristics for diffusion of technology, we question the current state and direction of MBUID. We have suggest a set of requirements based on this set of cha...
130
click to vote
FAC
2008
15 years 3 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
139
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...