Now showing items 1-5 of 5
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection
(Springer Verlag, 2018-02-23)
We consider the problem of approximate reduction of non-deterministic automata that appear in hardware-accelerated network intrusion detection systems (NIDSes). We define an error distance of a reduced automaton from the ...
Shepherding Hordes of Markov Chains
(Springer International Publishing, 2019-04-17)
This paper considers large families of Markov chains (MCs) that are defined over a set of parameters with finite discrete domains. Such families occur in software product lines, planning under partial observability, and ...
Influence of Skin Diseases on Fingerprint Recognition
There are many people, who suffer from some of the skin diseases. These diseases have a strong influence on the process of fingerprint recognition. People with fingerprint diseases are unable to use fingerprint scanners, ...
Anatomy of Biometric Passports
Travelling is becoming available for more and more people. Millions of people are on a way every day. That is why a better control over global human transfer and a more reliable identity check is desired. A recent trend ...
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)
(Springer International Publishing, 2020-02-26)
This paper concentrates on improvements of the PredatorHP shape analyzer in the past two years, including, e.g., improved handling of interval-sized memory regions or new support of memory reallocation. The paper characterizes ...