443 search results - page 9 / 89 » Compensation-Aware Runtime Monitoring |
80
Voted
WECWIS
2003
IEEE
15 years 2 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
FM
2008
Springer
14 years 11 months ago
2008
Springer
SASO
2010
IEEE
14 years 7 months ago
2010
IEEE
SOFTVIS
2006
ACM
15 years 3 months ago
2006
ACM
Virtual execution platforms contain many runtime subsystems that are invoked on-demand as user code executes. We have instrumented an open-source JVM to dump out information on th...
88
Voted
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...