443 search results - page 16 / 89 » Compensation-Aware Runtime Monitoring |
86
Voted
FASE
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The tool instruments a program to monitor the t...
122
click to vote
UML
2001
Springer
15 years 5 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
113
Voted
CF
2009
ACM
15 years 7 months ago
2009
ACM
As we reach the limits of single-core computing, we are promised more and more cores in our systems. Modern architectures include many performance counters per core, but few or no...
111
click to vote
ICSE
2004
IEEE-ACM
16 years 26 days ago
2004
IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
105
click to vote
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a test framework to support unit component testing in distributed component-based systems that are built upon component technologies like CORBA, COM/.NET, J2EE...