503 search results - page 25 / 101 » A Framework for Reasoning on Component Composition |
WORDS
2003
IEEE
14 years 23 days ago
2003
IEEE
We present a framework that will enable scalable analysis and design of graceful degradation in distributed embedded systems. We define graceful degradation in terms of utility. A...
ICCBR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a form of case-based reuse conducive to the cooperation of multiple CBR agents in problem solving. First, we present a form of constructive adaptation for con...
HYBRID
2010
Springer
14 years 19 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
Workflows often operate in volatile environments in which the component services’ QoS changes frequently. Optimally adapting to these changes becomes an important problem that ...
CBSE
2004
Springer
14 years 27 days ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...