Result checking in global computing systems. - Cécile Germain-Renaud; Nathalie Playez (ICS, 2003)