942 search results - page 88 / 189 » Application of Model Driven Techniques for Agent-Based Simul... |
135
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
202
Voted
CONIELECOMP
2006
IEEE
15 years 10 months ago
2006
IEEE
Most of the existing 3D engines are overwhelmingly complex and do not integrate support for virtual characters. We have developed a teaching oriented 3D engine with support for su...
135
click to vote
WSC
2004
15 years 5 months ago
2004
In the 21st century, the Biotechnology industry has the potential to inspire a number of management tools and theories, just as the Automobile industry did in the 20th century. Th...
123
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...
123
click to vote
EGH
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a physically-based, visually-realistic interactive cloud simulation. Clouds in our system are modeled using partial differential equations describing fluid mot...