724 search results - page 99 / 145 » Color, context, and compositionality |
CORR
2010
Springer
14 years 9 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...
CLOUDCOM
2010
Springer
14 years 9 months ago
2010
Springer
Through the recent emergence of joint resource and network virtualization, dynamic composition and provisioning of time-limited and isolated virtual infrastructures is now possible...
109
click to vote
CSREAESA
2010
14 years 9 months ago
2010
Component-based operating systems enable embedded systems to adapt system policies, mechanisms, and abstractions to the specific workloads and contexts of each system. The scope o...
FIW
2009
14 years 9 months ago
2009
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
IFM
2009
Springer
14 years 9 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...