3468 search results - page 412 / 694 » An open logical framework |
140
click to vote
ASIACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The security of cascade blockcipher encryption is an important and well-studied problem in theoretical cryptography with practical implications. It is well-known that dou...
133
click to vote
CVPR
2007
IEEE
15 years 10 months ago
2007
IEEE
A sketch captures the most informative part of an object, in a much more concise and potentially robust representation (e.g., for face recognition or new capabilities of manipulat...
137
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
In line with the growing success of e-commerce demands for an open infrastructure providing security services are growing stronger. Authentication and Authorisation Infrastructure...
147
click to vote
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
We examine eleven large open source software systems and present empirical evidence for the existence of fractal structures in software evolution. In our study, fractal structures...
155
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...