2560 search results - page 83 / 512 » Analysis Tool for Honeypot Systems |
146
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
151
click to vote
TSD
2010
Springer
15 years 2 days ago
2010
Springer
Abstract. We present a systematic comparison of preprocessing techniques for two language pairs: English-Czech and English-Hindi. The two target languages, although both belonging ...
161
click to vote
CORR
2010
Springer
15 years 9 days ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
126
click to vote
CSREAESA
2003
15 years 3 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
122
click to vote
HYBRID
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...