5423 search results - page 865 / 1085 » Denial-of-service in automation systems |
166
click to vote
ECSQARU
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
202
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
147
click to vote
ICCBR
2003
Springer
15 years 12 months ago
2003
Springer
In [1] we propose interchangeability based algorithms as methods for solving the case adaptation for the domain of problems which can be expressed as Constraint Satisfaction Proble...
192
click to vote
ICCBR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. There have been some Artificial Intelligence applications developed for electronic circuits diagnosis, but much remains to be done in this field, above all in the analo...
185
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...