7504 search results - page 480 / 1501 » Computing with Action Potentials |
153
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
133
click to vote
ISVC
2005
Springer
15 years 11 months ago
2005
Springer
This paper suggests to enhance the concept of tool tips by presenting translucent preview bitmaps. The basic idea is to give the user a preview of what would happen when a certain ...
193
click to vote
MRCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. One of the cornerstones of any intelligent entity is the ability to understand how occurrences in the surrounding world influence its own behaviour. Different states, o...
183
click to vote
SG
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Xface, the new version of our open source, platform independent toolkit for developing 3D embodied conversational agents is presented. The toolkit currently incorporates ...
153
click to vote
TGC
2005
Springer
15 years 11 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...