1701 search results - page 20 / 341 » Computer Science and State Machines |
RAID
2010
Springer
14 years 8 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...
87
Voted
DCC
2006
IEEE
15 years 9 months ago
2006
IEEE
In this work we consider the problem of universal prediction of individual sequences where the universal predictor is a deterministic finite state machine, with a fixed, relativel...
100
click to vote
ASM
2005
ASM
15 years 3 months ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
BSL
2008
14 years 9 months ago
2008
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
79
Voted
DSN
2006
IEEE
15 years 3 months ago
2006
IEEE
Being a fast-growing Internet application, Voice over Internet Protocol (VoIP) shares the network resources with the regular Internet traffic, and is susceptible to the existing ...