/spl tau/-Synopses: a system for run-time management of remote synopses | IEEE Conference Publication | IEEE Xplore