4150 search results - page 513 / 830 » A Practical Approach to Model Extension |
133
click to vote
ICAC
2007
IEEE
15 years 11 months ago
2007
IEEE
In today’s complex and highly dynamic computing environments, systems/services have to be constantly adjusted to meet Service Level Agreements (SLAs) and to improve resource uti...
140
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
137
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...
151
Voted
SMA
2009
ACM
15 years 9 months ago
2009
ACM
Principal curvatures and principal directions are fundamental local geometric properties. They are well defined on smooth surfaces. However, due to the nature as higher order di...
134
click to vote
ISORC
1998
IEEE
15 years 9 months ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...