Sciweavers

1800 search results - page 187 / 360
» A component model for internet-scale applications
Sort
View
CORR
2008
Springer
88views Education» more  CORR 2008»
15 years 6 months ago
The Korrontea Data Modeling
Needs of multimedia systems evolved due to the evolution of their architecture which is now distributed into heterogeneous contexts. A critical issue lies in the fact that they ha...
Emmanuel Bouix, Philippe Roose, Marc Dalmau
CDC
2008
IEEE
143views Control Systems» more  CDC 2008»
16 years 1 months ago
A nonlinear, control-oriented model for ionic polymer-metal composite actuators
Ionic polymer-metal composites (IPMCs) form an important category of electroactive polymers and have many potential applications in biomedical, robotic and micro/nano manipulation ...
Zheng Chen, Dawn R. Hedgepeth, Xiaobo Tan
EUROMICRO
2006
IEEE
16 years 20 days ago
A Modeling Paradigm for Integrated Modular Avionics Design
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
Abdoulaye Gamatié, Christian Brunette, Roma...
ECCV
2004
Springer
16 years 50 min ago
A 2D Fourier Approach to Deformable Model Segmentation of 3D Medical Images
Anatomical shapes present a unique problem in terms of accurate representation and medical image segmentation. Three-dimensional (3D) statistical shape models have been extensivel...
Eric Berg, Mohamed Mahfouz, Christian Debrunner, W...
MODELS
2010
Springer
15 years 5 months ago
Automatically Discovering Properties That Specify the Latent Behavior of UML Models
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
Heather Goldsby, Betty H. C. Cheng