2206 search results - page 252 / 442 » On the power of coercion abstraction |
194
click to vote
TCC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
199
click to vote
COOPIS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. Aspect oriented programming brings us new design perspectives since it permits the superimpositions of multiple abstraction models on top of one another. It is a very pow...
176
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
177
click to vote
ER
2009
Springer
15 years 11 months ago
2009
Springer
Ontological metamodeling or multilevel-modeling refers to ng complex domains at multiple levels of abstraction, especially in domains where the borderline between individuals and c...
197
Voted
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we argue for the power of providing a common set of OS services to wide area applications, including mechanisms for resource discovery, a global namespace, remote p...