3676 search results - page 577 / 736 » Scalable component abstractions |
SAFECOMP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
97
Voted
SCIA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Since texture is scale dependent, multi-scale techniques are quite useful for texture classification. Scale-space theory introduces multi-scale differential operators. In...
116
click to vote
SEAFOOD
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper describes lessons from running software development projects across three globally distributed educational institutions. What was innovative about this study w...
115
Voted
SOFSEM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
SPIN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...