2324 search results - page 341 / 465 » Benchmark Generation Using Domain Specific Modeling |
RE
2001
Springer
15 years 2 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
132
click to vote
GIS
2010
ACM
14 years 5 months ago
2010
ACM
It is now common for video; real-time and collected, mobile and static, to be georeferenced and stored in large archives for users of expert systems to access and interact with. I...
VISUALIZATION
2002
IEEE
15 years 3 months ago
2002
IEEE
We propose the use of textured splats as the basic display primitives for an open surface fire model. The high-detail textures help to achieve a smooth boundary of the fire and ...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
As agent systems are solving more and more complex tasks in increasingly challenging domains, the systems themselves are becoming more complex too, often compromising their adapti...
96
Voted
EMSOFT
2008
Springer
14 years 12 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...