783 search results - page 65 / 157 » Bridging the Gaps |
150
Voted
FORTE
2009
14 years 10 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
97
Voted
HCI
2009
14 years 10 months ago
2009
This paper presents the TACTUS Multi-Touch Research Testbed, a hardware and software system for enabling research in multi-touch interaction. A detailed discussion is provided on h...
127
Voted
ICUMT
2009
14 years 10 months ago
2009
We define sensor middleware as the binding code mainly running between the sensor OS and applications g programming abstractions to bridge the gap between application developers an...
116
click to vote
FLAIRS
2011
14 years 4 months ago
2011
The aim of this paper is threefold: it explores methods for the detection of affective states in text, it presents the usage of such affective cues in a conversational system and ...
148
click to vote
IACR
2011
14 years 10 days ago
2011
We introduce a new concept in splice-and-cut attacks on hash functions, which bridges the gap between preimage attacks and a powerful method of differential cryptanalysis. The ne...