1872 search results - page 122 / 375 » The Art of Granular Computing |
139
click to vote
PEPM
2009
ACM
16 years 2 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
140
click to vote
NPAR
2006
ACM
15 years 12 months ago
2006
ACM
Creating 3D plant models is often a hard and laborious task. To make it easier and more natural, we propose a sketch-based interface for modeling single-compound plant structures ...
164
click to vote
ACMACE
2005
ACM
15 years 11 months ago
2005
ACM
Building upon research on motivation theory, we provide insights on how video games can be framed as expert tools that naturally reconcile learning and fun, a worthy goal since st...
173
click to vote
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
267
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...