2021 search results - page 22 / 405 » COCO: Composition Model and Composition Model Implementation |
116
click to vote
BTW
2005
Springer
15 years 7 months ago
2005
Springer
: The Web Services architecture defines various specifications that applications may wish to use in combination. In this paper, we investigate the composition of the Web services s...
104
click to vote
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
121
Voted
SOCO
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
IMPERIAL
1993
15 years 6 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...
106
click to vote
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...