433 search results - page 61 / 87 » FAST-EVP: An Engine Simulation Tool |
ISMAR
2005
IEEE
15 years 4 months ago
2005
IEEE
A method is presented to rapidly incorporate real objects into virtual environments using laser scanned 3D models with color-based marker tracking. Both the real objects and their...
VL
2005
IEEE
15 years 4 months ago
2005
IEEE
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
134
click to vote
FAABS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
EICS
2010
ACM
15 years 3 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...