2223 search results - page 1 / 445 » Events in Property Patterns |
SPIN
1999
Springer
13 years 9 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
INTELLCOMM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Today, event logs contain vast amounts of data that can easily overwhelm a human. Therefore, the mining of frequent patterns from event logs is an important system and ne...
ENTCS
2006
13 years 5 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
GEOINFORMATICA
2006
13 years 5 months ago
2006
Abstract A co-location pattern is a group of spatial features/events that are frequently co-located in the same region. For example, human cases of West Nile Virus often occur in r...
MOBISYS
2009
ACM
14 years 5 months ago
2009
ACM
The extraction of temporal characteristics from sensor data streams can reveal important properties about the sensed events. Knowledge of temporal characteristics in applications ...