1155 search results - page 82 / 231 » A Decision-Theoretic Model of Assistance |
150
click to vote
IGPL
2006
15 years 6 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
153
click to vote
JCP
2007
15 years 6 months ago
2007
— This paper proposes a new approach to modelling and controlling Internet end-to-end loss behaviours. Rather than select the model structure from the loss observations as being ...
181
click to vote
ENVSOFT
2002
15 years 6 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
168
click to vote
APSEC
2007
IEEE
16 years 21 days ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
193
click to vote
GRID
2007
Springer
16 years 15 days ago
2007
Springer
—Due to the dynamic nature of grid environments, schedule algorithms always need assistance of a long-time-ahead load prediction to make decisions on how to use grid resources ef...