652 search results - page 49 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
CHI
2010
ACM
15 years 1 months ago
2010
ACM
Nonprofit organizations often need to excel in coordinating with other organizations and must do so in a variety of contexts and levels from the informal to the formal. Their abil...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
The construction of a large class of distributed systems can be simplified by leveraging middleware, which is layered between network operating systems and application components....
SACRYPT
2001
Springer
15 years 2 months ago
2001
Springer
The encryption system E0, which is the encryption system used in the Bluetooth specification, is examined. In the current paper, a method of deriving the cipher key from a set of ...
CHI
2002
ACM
15 years 10 months ago
2002
ACM
Many CSCW projects dealing with individual availability and interruption filtering achieve only limited success. Perhaps this is because designers of such systems have limited evi...
SECRYPT
2010
14 years 8 months ago
2010
: EnCoRe: Towards a holistic approach to privacy Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson HP Laboratories HPL-2010-83 privacy policies...