1173 search results - page 17 / 235 » On the Compositionality of Round Abstraction |
SRDS
2003
IEEE
14 years 3 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
EUROCRYPT
2011
Springer
13 years 1 months ago
2011
Springer
We define the BQS-UC model, a variant of the UC model, that deals with protocols in the bounded quantum storage model. We present a statistically secure commitment protocol in th...
AGTIVE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this short paper we describe the setup and results of a new initiative to compare graph transformation tools, carried out as part of the AGTIVE 2007 symposium on “Ap...
OOPSLA
2001
Springer
14 years 2 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
IEEESCC
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—In SOA applications are built from individual services offered by different providers. Typically an application comprises of several such services usually stemming from ...