12487 search results - page 180 / 2498 » Graspable Work Modeling |
171
Voted
CRYPTO
2001
Springer
15 years 11 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...
121
click to vote
AAAI
2006
15 years 8 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...
185
click to vote
MBUI
2004
15 years 8 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...
184
Voted
FAC
2008
15 years 7 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...
199
Voted
CORR
2007
Springer
15 years 7 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...