The case for run-time replaceable kernel modules | IEEE Conference Publication | IEEE Xplore