26 search results - page 1 / 6 » Probabilistic Contracts for Component-Based Design |
ATVA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
—Contracts and their composition may be used with different goals in a component-based design flow: on the one hand, a component contract describes the guarantees a component is...
METAINFORMATICS
2004
Springer
13 years 9 months ago
2004
Springer
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
COOPIS
2004
IEEE
13 years 8 months ago
2004
IEEE
By QoS (Quality of Service), we often refer to a set of quality requirements on the collective behavior of one or more objects. These requirements enable the provision of better se...
CD
2004
Springer
13 years 9 months ago
2004
Springer
This paper presents an approach to describe, deploy and manage component-based applications having dynamic functional and non-functional requirements. The approach is centered on a...