5423 search results - page 23 / 1085 » Denial-of-service in automation systems |
89
Voted
ICFEM
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
85
Voted
ITC
1998
IEEE
15 years 6 months ago
1998
IEEE
The ability to make in-situ performance measurements of MEMS operating at high speeds has been demonstrated using a new image analysis system. Significant improvements in performa...
105
Voted
NSDI
2004
15 years 3 months ago
2004
Availability is a storage system property that is both highly desired and yet minimally engineered. While many systems provide mechanisms to improve availability
113
click to vote
FLAIRS
2003
15 years 3 months ago
2003
Spacecraft are key components of military operations and everyday life. To achieve space situation awareness, human operators must monitor large numbers of parameters. During off-...
130
click to vote
CN
2007
15 years 1 months ago
2007
Large scale distributed systems typically have interactions among different services that create an avenue for propagation of a failure from one service to another. The failures ...