A Dissertation Submitted to the Faculty of Engineering, Science and Medicine at Department of Computer Science, Aalborg University, Denmark, in Fulfillment of the Requirements for the Philosophiæ Doctor (Ph. D.) Degree in Computer Science