3750 search results - page 108 / 750 » Timed Automata Patterns |
131
click to vote
FPGA
2004
ACM
15 years 6 months ago
2004
ACM
Pattern matching for network security and intrusion detection demands exceptionally high performance. Much work has been done in this field, and yet there is still significant roo...
111
click to vote
VLDB
2005
ACM
15 years 7 months ago
2005
ACM
In this paper, we introduce SPIRIT (Streaming Pattern dIscoveRy in multIple Timeseries). Given n numerical data streams, all of whose values we observe at each time tick t, SPIRIT...
141
click to vote
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
134
click to vote
CONEXT
2007
ACM
15 years 6 months ago
2007
ACM
Deterministic finite automata (DFAs) are widely used to perform regular expression matching in linear time. Several techniques have been proposed to compress DFAs in order to redu...
101
Voted
SIGMOD
2002
ACM
16 years 2 months ago
2002
ACM
