Dublin : Trinity College, Department of Computer Science,