11 search results - page 1 / 3 » On the Semantics of Matching Trace Monitoring Patterns |
RV
2007
Springer
14 years 1 months ago
2007
Springer
ASE
2010
13 years 7 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
OOPSLA
2005
Springer
14 years 27 days ago
2005
Springer
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...
IWPC
2002
IEEE
14 years 9 days ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...
ICDCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Event detection is a crucial task for wireless sensor network applications, especially environment monitoring. Existing approaches for event detection are mainly based on some pre...