2685 search results - page 462 / 537 » A Formal Semantics for SPKI |
181
click to vote
ER
2007
Springer
16 years 10 days ago
2007
Springer
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has t...
150
click to vote
GPCE
2007
Springer
16 years 9 days ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
151
click to vote
ICDT
2007
ACM
16 years 9 days ago
2007
ACM
Abstract. In many cases, users may want to consider incomplete answers to their queries. Often, however, there is an overwhelming number of such answers, even if subsumed answers a...
145
click to vote
IWSEC
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Pairing-based cryptography (PBC) has enabled the construction of many cryptographic protocols. However, there are scenarios when PBC is too heavyweight to use, such as wh...
187
click to vote
KI
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...