3828 search results - page 39 / 766 » Proof-Based System Engineering Using a Virtual System Model |
135
Voted
EVOW
2009
Springer
14 years 12 months ago
2009
Springer
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
139
click to vote
JSW
2007
15 years 2 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
142
Voted
ACCV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper presents a motion capture system using two cameras that is capable of estimating a constrained set of human postures in real time. We first obtain a 3D shape ...
96
Voted
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
105
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
The Aero Repair and Overhaul industry is facing an increasing challenge of prediction and scheduling of engine overhauls to remain competitive in a complex business arena. An appr...