Using the ISIS resource manager for distributed, fault-tolerant computing | IEEE Conference Publication | IEEE Xplore