3828 search results - page 55 / 766 » Proof-Based System Engineering Using a Virtual System Model |
140
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
158
Voted
CORR
2009
Springer
15 years 4 days ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
We present a system for rendering planar rigid-body motion by means of a redundant parallel mechanism. The device design, the control architecture and the passive virtual environm...
167
click to vote
VEE
2012
ACM
13 years 10 months ago
2012
ACM
Process-level virtualization is increasingly being used to enhance the security of software applications from reverse engineering and unauthorized modification (called software p...
182
Voted
TCSB
2010
15 years 21 days ago
2010
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...