754 search results - page 53 / 151 » Can self-managed systems be trusted |
SIGADA
2005
Springer
14 years 3 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
High-quality, personalized recommendations are a key feature in many online systems. Since these systems often have explicit knowledge of social network structures, the recommenda...
CSCW
2012
ACM
12 years 5 months ago
2012
ACM
Does crowdsourcing work for web security? While the herculean task of evaluating hundreds of millions of websites can certainly benefit from the wisdom of crowds, skeptics questi...
CCS
2001
ACM
14 years 2 months ago
2001
ACM
Abstract. We describe a weakness in the High Bandwidth Digital Content Protection (HDCP) scheme which may lead to practical attacks. HDCP is a proposed identity-based cryptosystem ...
MOBISYS
2007
ACM
14 years 9 months ago
2007
ACM
Presence-sharing is an emerging platform for mobile applications, but presence-privacy remains a challenge. Privacy controls must be flexible enough to allow sharing between both ...