3742 search results - page 383 / 749 » On the Use of Formal Techniques for Validation |
195
click to vote
HPCC
2007
Springer
16 years 29 days ago
2007
Springer
In many applications, stream data are too voluminous to be collected in a central fashion and often transmitted on a distributed network. In this paper, we focus on the outlier det...
158
click to vote
ISESE
2005
IEEE
16 years 11 days ago
2005
IEEE
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...
174
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
186
click to vote
IEEEAMS
2003
IEEE
16 years 2 days ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
192
click to vote
ECP
1997
Springer
15 years 11 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...