2558 search results - page 143 / 512 » Model Composition Contracts |
150
click to vote
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper presents a novel approach to the design of self-adaptive service-oriented applications based on a new model called service tiles. The approach allows designers to dev...
153
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
We propose a mid-level statistical model for image segmentation that composes multiple figure-ground hypotheses (FG) obtained by applying constraints at different locations and s...
133
click to vote
IEEESCC
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present a model-driven, domaincentric tool allowing the specification of service-oriented ions through abstract services composition. Executable applications, ma...
133
click to vote
TIME
2007
IEEE
15 years 10 months ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...
123
click to vote
IFM
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...