5423 search results - page 180 / 1085 » Denial-of-service in automation systems |
163
click to vote
BMAS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
166
click to vote
COLING
2002
15 years 6 months ago
2002
We present an architecture for spoken dialogue systems where first-order inference (both theorem proving and model building) plays a crucial role in interpreting utterances of dia...
187
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
The goal of a load test is to uncover functional and performance problems of a system under load. Performance problems refer to the situations where a system suffers from unexpect...
140
click to vote
SIGOPSE
2004
ACM
15 years 12 months ago
2004
ACM
Abstract: Designing and managing dependable systems is a difficult endeavor. In this paper, we describe challenges in this vast problem space, including provisioning and allocatin...