1872 search results - page 122 / 375 » The Art of Granular Computing |
89
Voted
PEPM
2009
ACM
15 years 9 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...
NPAR
2006
ACM
15 years 6 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 ...
114
Voted
ACMACE
2005
ACM
15 years 6 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...
115
Voted
HASE
1999
IEEE
15 years 5 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...
180
Voted
ARTS
1999
Springer
15 years 5 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...