5423 search results - page 351 / 1085 » Denial-of-service in automation systems |
234
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
163
click to vote
GI
2005
Springer
16 years 12 days ago
2005
Springer
: In order to improve the automation rate of state-of-the-art IVR systems we introduce the application of two key technologies. Semantic processing is performed to analyze the inpu...
195
click to vote
ISSTA
1993
ACM
15 years 11 months ago
1993
ACM
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...
177
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
151
click to vote
NLDB
2000
Springer
15 years 10 months ago
2000
Springer
: The information system analysis process is considered as a difficult phase during the information systems development. The difficulty lies in gathering relevant information from ...