2152 search results - page 177 / 431 » An Abstract Account of Composition |
155
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
219
click to vote
CASCON
2010
15 years 4 months ago
2010
Abstract. The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services ar...
162
click to vote
PROVSEC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper, we study the soundness amplification by repetition of cryptographic protocols. As a tool, we use the Chernoff Information. We specify the number of attempt...
173
click to vote
SOCA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Workflow design, mashup configuration, and composite service formation are examples where the capabilities of multiple simple services combined achieve a complex function...
196
click to vote
WOA
2010
15 years 4 months ago
2010
In this paper, we present a software framework, called HDS (Heterogeneous Distributed System), that tries to simplify the realization of distributed applications and, in particular...