2838 search results - page 27 / 568 » Verifying Controlled Components |
FUIN
2006
13 years 8 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
DKE
2002
13 years 8 months ago
2002
Object-Oriented modeling and design methodologies have been receiving a significant attention since they allow a quick and easy-to-gasp overview about a complex model. However, in...
CBSE
2010
Springer
14 years 5 days 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...
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
This paper proposes a video-based super-resolution algorithm by high-frequency component compensation. Normalized logarithm distance (NLD) minimization on local shape feature is p...
CCGRID
2007
IEEE
14 years 3 months ago
2007
IEEE
We propose to address collective communications in distributed components through collective interfaces. Collective interfaces handle data distribution, parallelism and synchroniz...