1150 search results - page 148 / 230 » Tackling Large State Spaces in Performance Modelling |
111
click to vote
ATAL
2009
Springer
15 years 2 months ago
2009
Springer
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...
77
Voted
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
—In this paper, we propose a new 3-DOF parallel mechanism for PDP TV mounting device with 2-rotation and 1-translation. The most important operational requirement of this device ...
ILP
2004
Springer
15 years 7 months ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...
114
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
100
click to vote
EUROS
2008
15 years 3 months ago
2008
Resources consumption control is crucial in the autonomous rover context. Most of the time, the resources consumption is probabilistic. During execution time, the rover has to adap...