A framework for comparing models of computation | IEEE Journals & Magazine | IEEE Xplore