703 search results - page 83 / 141 » Fundamentals of Session Types |
ASIACRYPT
2008
Springer
14 years 11 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Humans continuously assess one another's situational context, modify their own affective state, and then respond based on these outcomes through empathetic expression. Virtua...
LREC
2008
14 years 11 months ago
2008
In this paper we discuss the design, acquisition and preprocessing of a Czech audio-visual speech corpus. The corpus is intended for training and testing of existing audio-visual ...
IADIS
2004
14 years 11 months ago
2004
The purpose of our ongoing efforts is to investigate the influence of web page design based on text-structure and user prior knowledge for information retrieval on the basis of na...
113
click to vote
LEGE
2003
14 years 11 months ago
2003
ELeGI, the European Learning Grid Infrastructure, has the ambitious goal of fostering effective learning and knowledge construction through the dynamic provision of service-based ...