MSc Thesis in Computer Science, University of Cyprus, June 2014.