5423 search results - page 162 / 1085 » Denial-of-service in automation systems |
193
click to vote
ETFA
2006
IEEE
16 years 18 days ago
2006
IEEE
Industrial automation systems may include people, hardware, software and others necessaries to produce the desirable results. The SysML modeling language is being proposed, by OMG...
166
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
155
click to vote
ICAC
2005
IEEE
16 years 4 days ago
2005
IEEE
Computing systems have become so complex that the IT industry recognizes the necessity of deliberative methods to make these systems self-configuring, self-healing, selfoptimizin...
