5423 search results - page 193 / 1085 » Denial-of-service in automation systems |
158
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
In this paper, we present a variant of the dependency pair method for analysing runtime complexities of term rewrite systems automatically. This method is easy to implement, but si...
153
click to vote
ISORC
2005
IEEE
16 years 5 days ago
2005
IEEE
The widespread use of mobile and wireless computing platforms is leading to a growing interest on dependability issues. Several research studies have been conducted on dependabili...
129
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
160
click to vote
NOMS
2008
IEEE
16 years 29 days ago
2008
IEEE
As the complexity of networked systems increases, we need mechanisms to automatically detect failures in the network and diagnose the cause of such failures. To realize true self-...
160
click to vote
ISSRE
2005
IEEE
16 years 5 days ago
2005
IEEE
Evaluation of computing system security requires knowledge of the vulnerabilities present in the system and of potential attacks against the system. Vulnerabilities can be classif...