194 search results - page 6 / 39 » Rule-Based Runtime Verification |
RV
2010
Springer
13 years 7 months ago
2010
Springer
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
FORMATS
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
ISSA
2004
13 years 11 months ago
2004
Today, business continuity depends significantly on the continuous availability of information systems. It is well-known that such systems must be protected against intrusion and ...
LOGCOM
2010
13 years 4 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,...
FMCAD
2009
Springer
14 years 4 months ago
2009
Springer