2687 search results - page 66 / 538 » Formal Analysis of PKCS |
AISC
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
108
click to vote
TAL
2010
Springer
14 years 7 months ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
103
Voted
WETICE
2005
IEEE
15 years 6 months ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
104
Voted
ADBIS
2005
Springer
15 years 6 months ago
2005
Springer
We present a formal analysis of the following view-selection problem: Given a set of queries and a database, return definitions of views that, when materialized in the database, w...
109
Voted
CRYPTO
2005
Springer
15 years 6 months ago
2005
Springer
Anonymous channels are necessary for a multitude of privacy-protecting protocols. Onion routing is probably the best known way to achieve anonymity in practice. However, the crypto...