83 search results - page 2 / 17 » A Closer Look at MOMDPs |
ACL
2011
12 years 9 months ago
2011
AOSD
2012
ACM
12 years 1 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
ASIACRYPT
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. In this work, we take a closer look at anonymity and robustness in encryption schemes. Roughly speaking, an anonymous encryption scheme hides the identity of the secret-k...
IADIS
2003
13 years 6 months ago
2003
The Internet has emerged as a crucial part of the Global Information Infrastructure. This is not least due to the remarkable longevity and versatility of some of its protocols. Ac...
SOUPS
2010
ACM
13 years 9 months ago
2010
ACM
Graphical password systems based on the recognition of photographs are candidates to alleviate current over-reliance on alphanumeric passwords and PINs. However, despite being bas...