1251 search results - page 124 / 251 » Digital trail libraries |
133
click to vote
ELPUB
2007
ACM
15 years 8 months ago
2007
ACM
In Greece, there seems to be a growing level of awareness regarding open access among scholars, faculty staff and information professionals. Indeed, consensus regarding the necess...
156
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
135
click to vote
ESORICS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
163
click to vote
MTA
2011
14 years 11 months ago
2011
Abstract This paper describes an interoperable Digital Rights Management architecture promoted by the MPEG standardization group in its new standard known as MPEG-M or MPEG Extensi...
129
click to vote
IWRIDL
2006
ACM
15 years 10 months ago
2006
ACM
We examine some research issues in pattern recognition and image processing that have been spurred by the needs of digital libraries. Broader – and not only linguistic – conte...