1249 search results - page 14 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
82
Voted
RAID
2010
Springer
14 years 10 months ago
2010
Springer
Application-level protocol specifications are helpful for network security management, including intrusion detection, intrusion prevention and detecting malicious code. However, c...
89
Voted
EH
1999
IEEE
1999
IEEE
Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences
15 years 4 months ago
Our previous work focused on the synthesis of sequential circuits based on a partial input/output sequence. As the behavioural description of the target circuit is not known the c...
ACJ
2004
14 years 11 months ago
2004
CN
2008
14 years 11 months ago
2008
CONCUR
2000
Springer
15 years 3 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...