2558 search results - page 110 / 512 » Model Composition Contracts |
137
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
134
click to vote
AIPS
2006
15 years 5 months ago
2006
Recently the problem of automatic composition of workflows has been receiving increasing interest. Initial investigation has shown that designing a practical and scalable composit...
165
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
Textures can often more easily be described as a composition of subtextures than as a single texture. The paper proposes a way to model and synthesize such "composite textures...
140
click to vote
CBSE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
154
click to vote
SOCA
2008
IEEE
15 years 4 months ago
2008
IEEE
There is no doubt that SOA and BPM will continue to evolve dependently for the next ten years. Preparing common research infrastructures will require most important efforts of web ...