2468 search results - page 422 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
160
click to vote
CRYPTO
2011
Springer
14 years 3 months ago
2011
Springer
In CRYPTO 1997, Canetti et al.put forward the intruiging notion of deniable encryption, which (informally) allows a sender and/or receiver, having already performed some encrypted...
182
click to vote
HPCA
2002
IEEE
16 years 3 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
111
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Digital watermarking is a promising technology to embed copyright information as unperceivable signals in digital contents. Although various watermarking techniques have been empl...
148
Voted
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
134
Voted
ODRL
2004
15 years 4 months ago
2004
Two main Rights Expression Languages (RELs) exist to describe licenses governing the access to digital content: ODRL (Open Digital Rights Language) and MPEG-21 REL. Both RELs are ...