821 search results - page 56 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
ANOR
2008
13 years 7 months ago
2008
A crucial property of second order fluid models is the behaviour of the fluid level at the boundaries. Two cases have been considered: the reflecting and the absorbing boundary. Th...
DSRT
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
JOT
2006
13 years 7 months ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
BC
2005
13 years 7 months ago
2005
Recent experiments on frogs and rats, have led to the hypothesis that sensory-motor systems are organized into a finite number of linearly combinable modules; each module generates...