Sciweavers

821 search results - page 15 / 165
» A Model Driven Approach to the Analysis of Timeliness Proper...
Sort
View
FDL
2004
IEEE
13 years 11 months ago
Error Estimation in Model-Driven Development for Real-Time Software
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk ...
ICSE
1999
IEEE-ACM
13 years 12 months ago
Data Flow Analysis for Checking Properties of Concurrent Java Programs
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
Gleb Naumovich, George S. Avrunin, Lori A. Clarke
MICCAI
2002
Springer
14 years 8 months ago
Stochastic Finite Element Framework for Cardiac Kinematics Function and Material Property Analysis
Abstract. A stochastic finite element method (SFEM) based framework is proposed for the simultaneous estimation of cardiac kinematics functions and material model parameters. While...
Pengcheng Shi, Huafeng Liu
ICARCV
2008
IEEE
164views Robotics» more  ICARCV 2008»
14 years 2 months ago
Dynamics analysis of a redundant parallel manipulator driven by elastic cables
—In this paper the dynamic analysis of a cable drive parallel manipulator is described in detail. The manipulator architecture is a simplified planer version adopted from the str...
Yousef Babazadeh Bedoustani, Hamid D. Taghirad, Mo...
IJCAT
2010
132views more  IJCAT 2010»
13 years 6 months ago
Using weaving models to automate model-driven web engineering proposals
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...