443 search results - page 14 / 89 » Compensation-Aware Runtime Monitoring |
96
Voted
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
123
Voted
CAISE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...
120
click to vote
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
121
click to vote
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
99
Voted
SIGOPS
2010
14 years 7 months ago
2010
We introduce SelfTalk, a novel declarative language that allows users to query and understand the status of a large scale system. SelfTalk is sufficiently expressive to encode an ...