2328 search results - page 8 / 466 » Component Frameworks - A Case Study |
SNPD
2008
13 years 8 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
CBSQ
2003
Springer
14 years 17 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
DEXAW
2003
IEEE
14 years 19 days ago
2003
IEEE
that negotiation is a powerful abstract notion for the coordination of generic services available from distributed components. This is the main motivation underlying the developme...
ENDM
2007
13 years 7 months ago
2007
Fix a family T of 3-connected graphs, and let G be the class of graphs whose 3connected components are the graphs in T . We present a general framework for analyzing such graph cl...
TSMC
2008
13 years 7 months ago
2008
Recent studies have shown that the perception of natural movements--in the sense of being "humanlike"--depends on both joint and task space characteristics of the movemen...