%PDF-1.4
%
1 0 obj
<>stream
application/pdfIEEE2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems;2009; ; ;10.1109/EASe.2009.13Runtime-verificationfault-toleranceworkflowsscientific computinghigh-performance computingUsing Runtime Verification to Design a Reliable Execution Framework for Scientific WorkflowsAbhishek DubeyLuciano PiccoliJames B. KowalkowskiJames N. SimoneXian-He SunGabor KarsaiSandeep Neema
2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems87 April 200910.1109/EASe.2009.1396
endstream
endobj
2 0 obj
<>/PageLayout/SinglePage/Metadata 1 0 R/Type/Catalog/Pages 4 0 R/ViewerPreferences<>>>
endobj
3 0 obj
<>/XObject<>>>/Parent 4 0 R/MediaBox[0 0 612 792]>>
endobj
4 0 obj
<>
endobj
5 0 obj
<>stream
x+ |
endstream
endobj
6 0 obj
<>stream
HWv۸}W3 d