101 search results - page 6 / 21 » General Algorithms for Testing the Ambiguity of Finite Autom... |
140
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
137
click to vote
FORTE
2004
15 years 6 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
142
click to vote
DLT
2009
15 years 2 months ago
2009
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
132
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on tr...
164
click to vote
ANCS
2007
ACM
15 years 9 months ago
2007
ACM
The importance of network security has grown tremendously and a collection of devices have been introduced, which can improve the security of a network. Network intrusion detectio...