5423 search results - page 166 / 1085 » Denial-of-service in automation systems |
138
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
121
Voted
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
142
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
Advanced information retrieval systems providing automated assistance offer the opportunity to greatly enhance the effectiveness of the information retrieval process. One issue in...
202
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...