Sciweavers

2223 search results - page 23 / 445
» Events in Property Patterns
Sort
View
ROOM
2000
14 years 11 months ago
On the Compositional Properties of UML Statechart Diagrams
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...
Anthony J. H. Simons
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
15 years 2 months ago
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
Avi Ziv
ICDCSW
2007
IEEE
15 years 4 months ago
Event Stream Processing with Out-of-Order Data Arrival
Complex event processing has become increasingly important in modern applications, ranging from supply chain management for RFID tracking to real-time intrusion detection. The goa...
Ming Li, Mo Liu, Luping Ding, Elke A. Rundensteine...
69
Voted
VL
2009
IEEE
164views Visual Languages» more  VL 2009»
15 years 4 months ago
QueryMarvel: A visual query language for temporal patterns using comic strips
In many domains, decision makers want to find and understand patterns of events as these patterns often give insight into the causal relationships among events. Current systems to...
Jing Jin, Pedro A. Szekely
DISCEX
2003
IEEE
15 years 2 months ago
Modeling Multistep Cyber Attacks for Scenario Recognition
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
Steven Cheung, Ulf Lindqvist, Martin W. Fong