Sciweavers

5777 search results - page 57 / 1156
» The palladio component model
Sort
View
ISORC
2005
IEEE
15 years 5 months ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
Zonghua Gu, Kang G. Shin
MICCAI
2006
Springer
16 years 23 days ago
Improving Segmentation of the Left Ventricle Using a Two-Component Statistical Model
Abstract. Quality of segmentations obtained by 3D Active Appearance Models (AAMs) crucially depends on underlying training data. MRI heart data, however, often come noisy, incomple...
Jirí Hladuvka, Katja Bühler, Sebastian...
COMPSAC
2009
IEEE
15 years 3 months ago
Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
Aida Causevic, Aneta Vulgarakis
WSC
1989
15 years 1 months ago
Adaptive distribution of model components via congestion measures
One of the factors affecting the performance of distributed simulation models is the assignment of logical processes to processors. This paper outlines a dynamic allocation scheme...
Murali S. Shanker, W. David Kelton, Rema Padman
TASLP
2008
90views more  TASLP 2008»
14 years 11 months ago
Efficient Realization of Wave Digital Components for Physical Modeling and Sound Synthesis
Wave digital filters (WDFs) were originally developed for robust discrete-time simulation of analog filters, but recently they have been applied successfully to modeling of physica...
Matti Karjalainen