2685 search results - page 461 / 537 » A Formal Semantics for SPKI |
143
click to vote
CAV
2007
Springer
16 years 10 days ago
2007
Springer
lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...
166
click to vote
CBSE
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
146
click to vote
CCS
2007
ACM
16 years 10 days ago
2007
ACM
In a proxy re-encryption (PRE) scheme, a proxy is given special information that allows it to translate a ciphertext under one key into a ciphertext of the same message under a di...
149
click to vote
ECOOP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
173
click to vote
ER
2007
Springer
16 years 10 days ago
2007
Springer
Schema mappings come in different flavors: simple correspondences are produced by schema matchers, intensional mappings are used for schema integration. However, the execution of ...