8828 search results - page 334 / 1766 » Formal methods in practice |
167
click to vote
WSC
2007
15 years 9 months ago
2007
The validation of modern military simulation relies heavily on the opinions of military experts, and it makes the validation task exhaustive and time-consuming. The knowledgebased...
173
click to vote
FLAIRS
2000
15 years 8 months ago
2000
Knowledgeincorporated intelligent solving methodsare prevailing in practical planningandschedulingbecauseof the large problemsize and complexconstraints. However,when intelligent ...
158
click to vote
ISIWI
2000
15 years 8 months ago
2000
The paper presents the results of a study on usability methods for evaluating Web sites. lt summarizes the "Heuristics for Web Communications," and reports the practical...
169
click to vote
ENTCS
2006
15 years 6 months ago
2006
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
184
click to vote
MOC
2002
15 years 6 months ago
2002
Abstract. A new strategy to avoid the order reduction of Runge-Kutta methods when integrating linear, autonomous, nonhomogeneous initial boundary value problems is presented. The s...