Sciweavers

1330 search results - page 73 / 266
» Modeling components and frameworks with UML
Sort
View
ASM
2010
ASM
15 years 10 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
119
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
Ensuring Properties of Interaction Systems
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
Gregor Gößler, Susanne Graf, Mila E. Ma...
145
Voted
EDOC
2003
IEEE
15 years 9 months ago
How MDA Can Help Designing Component- and Aspect-based Applications
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
Lidia Fuentes, Mónica Pinto, Antonio Vallec...
ICCV
2003
IEEE
16 years 6 months ago
Recognizing Human Action Efforts: An Adaptive Three-Mode PCA Framework
We present a computational framework capable of labeling the effort of an action corresponding to the perceived level of exertion by the performer (low ? high). The approach initi...
James W. Davis, Hui Gao
EUROMICRO
2002
IEEE
15 years 9 months ago
Evaluation of Static Properties for Component-Based Architectures
Early assessment of the non-functional properties of component compositions is one of the hottest issues in component-based architecting. We describe a method for evaluating the e...
Alexandre V. Fioukov, Evgeni M. Eskenazi, Dieter K...