2008 49th Annual IEEE Symposium on Foundations of Computer Science 25-28 October 2008 / (IEEE,)