188 search results - page 11 / 38 » Automatic Generation of Model Checking Scripts Based on Envi... |
120
click to vote
UAI
2007
15 years 25 days ago
2007
This paper introduces decision-theoretic planning techniques into automatic music generation. Markov decision processes (MDPs) are a mathematical model of planning under uncertain...
SE
2007
15 years 1 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
CGF
2000
14 years 11 months ago
2000
When articulated figures interact in a 3D environment, collisions are highly likely and must often be avoided. We present a method automatically producing realistic collision-free...
104
click to vote
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
100
click to vote
GCC
2003
Springer
15 years 4 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...