Redirecting you to http://origin-www.computer.org/csdl/trans/ts/preprint/tts2012990033.pdf