76 search results - page 5 / 16 » Monitoring temporal SystemC properties |
123
click to vote
AAAI
1996
15 years 5 months ago
1996
Automatic recognition of animal vocalisations would be a valuable tool for a variety of biological research and environmental monitoring applications . We report the development o...
135
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
161
click to vote
SACMAT
2010
ACM
15 years 9 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
152
click to vote
LOGCOM
2010
14 years 11 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
118
click to vote
RV
2007
Springer
15 years 10 months ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...