59 search results - page 7 / 12 » An Automata-Based Approach to Property Testing in Event Trac... |
FATES
2003
Springer
14 years 1 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
ACL
2011
13 years 5 days ago
2011
Nested event structures are a common occurrence in both open domain and domain specific extraction tasks, e.g., a “crime” event can cause a “investigation” event, which c...
KDD
2010
ACM
13 years 10 months ago
2010
ACM
Advances in data collection and storage capacity have made it increasingly possible to collect highly volatile graph data for analysis. Existing graph analysis techniques are not ...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Measurements have shown that network path failures occur frequently in the Internet and physical link failures can cause network instability in large scale and severity...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...