13913 search results - page 414 / 2783 » models 2007 |
161
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...
183
click to vote
CCE
2005
15 years 7 months ago
2005
In the field of controlled release technology for pesticides or active ingredients (AI), models that can predict its delivery during application are important for purposes of desi...
159
click to vote
CMPB
2007
15 years 7 months ago
2007
: Cure models have been developed to analyze failure time data with a cured fraction. For such data, standard survival models are usually not appropriate because they do not accoun...
159
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
We discuss the use of models for run-time error detection to improve user-perceived reliability of consumer electronics products. The aim is to apply the approach in industrial pro...
186
click to vote
EXACT
2007
15 years 10 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...