2152 search results - page 178 / 431 » An Abstract Account of Composition |
169
click to vote
ENASE
2009
15 years 4 months ago
2009
Service composition is an important topic, but so far addressed from a technical and low level perspective. The issue is not (too much) the orchestration formalism, but rather the ...
175
click to vote
FIW
2009
15 years 4 months ago
2009
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
174
click to vote
IFM
2009
Springer
15 years 4 months ago
2009
Springer
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
178
click to vote
ENTCS
2010
15 years 3 months ago
2010
We propose an algebra of languages and transformations as a means for extending s syntactically. The algebra provides a layer of high-level abstractions built on top of languages ...
239
click to vote
DM
2011
15 years 1 months ago
2011
Abstract. The Legendre-Stirling numbers were discovered in 2002 as a result of a problem involving the spectral theory of powers of the classical second-order Legendre di¤erential...