442 search results - page 84 / 89 » Privacy-aware user interfaces within collaborative environme... |
111
click to vote
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
119
click to vote
SCA
2007
15 years 2 months ago
2007
We present a new approach to character skinning where divergence-free vector fields induced by skeletal motion, describe the velocity of skin deformation. The joint transformation...
82
Voted
USENIX
2001
15 years 1 months ago
2001
The 2000 Usenix Technical Conference included a presentation outlining the state of the X rendering environment and the capabilities necessary to bring X into the modern world. Du...
93
Voted
JIIS
2008
15 years 13 days ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
ETS
2002
IEEE
15 years 7 days ago
2002
IEEE
Web-based learning tools provide integrated environments of various technologies to support diverse educators' and learners' needs via the Internet. This paper reports t...