5423 search results - page 902 / 1085 » Denial-of-service in automation systems |
167
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
This paper addresses the problem of recognizing policies given logs of battle scenarios from multi-player games. The ability to identify individual and team policies from observat...
141
click to vote
AUSDM
2007
Springer
16 years 23 days ago
2007
Springer
Automated adversarial detection systems can fail when under attack by adversaries. As part of a resilient data stream mining system to reduce the possibility of such failure, adap...
159
click to vote
FROCOS
2007
Springer
16 years 22 days ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
170
click to vote
ICLP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
211
click to vote
IESS
2007
Springer
16 years 22 days ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...