Author Guidelines for 8 - MIT

GridPiAnalyzer is an automatic analyzer designed for ensuring reliability of grid workflow based on its Pi calculus formalism and verification. ... 2.0GB RAM, Windows operating system and Eclipse development platform. ... (Ri) is the peak memory usage for p on the ith region in a grid workflow. The purpose of the additional Figures 9(a) and 9(b ... ................
................