357 search results - page 2 / 72 » A Contracting System for Hierarchical Components |
IASTEDSE
2004
13 years 6 months ago
2004
In this paper, we identify the different roles and contract types which are important in providing Quality of Service (QoS) properties of component-based systems. A surprising res...
DLS
2009
13 years 3 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
DAGM
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We present a hierarchical partitioning of images using a pairwise similarity function on a graph-based representation of an image. This function measures the difference ...
FLOPS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
HICSS
2000
IEEE
13 years 9 months ago
2000
IEEE