Sciweavers

433 search results - page 61 / 87
» FAST-EVP: An Engine Simulation Tool
Sort
View
ISMAR
2005
IEEE
15 years 11 months ago
A Pipeline for Rapidly Incorporating Real Objects into a Mixed Environment
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...
Xiyong Wang, Aaron Kotranza, John Quarles, Benjami...
VL
2005
IEEE
123views Visual Languages» more  VL 2005»
15 years 11 months ago
A Visually-Specified Code Generator for Simulink/Stateflow
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 ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...
174
Voted
EMSOFT
2005
Springer
15 years 11 months ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed
FAABS
2004
Springer
15 years 11 months ago
Towards Timed Automata and Multi-agent Systems
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...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
EICS
2010
ACM
15 years 10 months ago
User interface model discovery: towards a generic approach
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...
Andy Gimblett, Harold W. Thimbleby