50 search results - page 1 / 10 » post 2012 |
POST
2012
11 years 11 months ago
2012
A hyperproperty is a set of sets of finite or infinite traces over some fixed alphabet and can be seen as a very generic system specification. In this work, we define the noti...
SIGIR
2012
ACM
11 years 6 months ago
2012
ACM
Online reputation management is about monitoring and handling the public image of entities (such as companies) on the Web. An important task in this area is identifying aspects of...
ICONFERENCE
2012
11 years 11 months ago
2012
As Facebook has become global, users from different cultural and socio-political contexts have joined the site. We present a case study investigating how both current and historic...
IUI
2012
ACM
11 years 11 months ago
2012
ACM
The next big step in embedded, mobile speech recognition will be to allow completely free input as it is needed for messaging like SMS or email. However, unconstrained dictation r...
POST
2012
11 years 11 months ago
2012
Abstract. We formally analyze the family of entity authentication protocols defined by the ISO/IEC 9798 standard and find numerous weaknesses, both old and new, including some th...