5423 search results - page 215 / 1085 » Denial-of-service in automation systems |
177
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
165
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
118
click to vote
JCDL
2003
ACM
15 years 12 months ago
2003
ACM
This study identifies (1) several taxonomies of questions at different levels of linguistic analysis, according to which questions received by digital reference services are class...
166
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Scenario-based design exploits the time-varying execution behavior of applications by dynamically adapting the system on which they run. This is a particularly interesting design ...
189
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
Network worms are a clear and growing threat to the security of today's Internet-connected hosts and networks. The combination of the Internet's unrestricted connectivit...