2688 search results - page 460 / 538 » A formal semantics for P3P |
160
click to vote
CAV
2007
Springer
16 years 1 months 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...
175
click to vote
CBSE
2007
Springer
16 years 1 months 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...
162
click to vote
CCS
2007
ACM
16 years 1 months 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...
163
click to vote
ECOOP
2007
Springer
16 years 1 months 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...
186
click to vote
ER
2007
Springer
16 years 1 months 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 ...