1661 search results - page 145 / 333 » Real-time specification patterns |
122
click to vote
ASM
2008
ASM
15 years 3 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
124
click to vote
KDD
2009
ACM
16 years 2 months ago
2009
ACM
Our dynamic graph-based relational mining approach has been developed to learn structural patterns in biological networks as they change over time. The analysis of dynamic network...
106
Voted
IOLTS
2007
IEEE
15 years 8 months ago
2007
IEEE
Soft error due to ionizing radiation is emerging as a major concern for future technologies. The measurement unit for failures due to soft errors is called Failure-In-Time (FIT) t...
127
Voted
FPGA
2004
ACM
15 years 5 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...
142
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
Continuous time-series sequence matching, specifically, matching a numeric live stream against a set of predefined pattern sequences, is critical for domains ranging from fire spr...