6704 search results - page 64 / 1341 » Testing Scenario-Based Models |
ENVSOFT
2007
13 years 10 months ago
2007
The Plant Protection Product Directive (91/414/EEC) stresses the need of validated models to calculate predicted environmental concentrations. The use of models has become an unav...
LISA
2008
14 years 15 days ago
2008
System administrators are unique computer users. As power users in complex and high-risk work environments, intuition tells us that they may have requirements of the tools they us...
AR
2005
13 years 10 months ago
2005
An important component of compliant motion control is the estimation of contact states during task execution. This paper addresses two fundamental questions that must be answered w...
CHARME
2003
Springer
14 years 3 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
CVIU
2006
13 years 10 months ago
2006
In this paper, we explore whether the Fresnel term can be used to improve the predictions of the Beckmann