PhD Thesis, Politecnico di Torino, April 2010. Tutors: Pierre-Alain Croset & Mario Sassone.