Institution: | a Centre of Mathematics for Applications and Department of Informatics, University of Oslo, P.O.Box 1080 Blindern, Oslo 0316, Norway b DEIO-CIO, Faculdade de Ciencias da Universidade de Lisboa, Bloco C/2-Campo Grande, Cidade Universitaria, Lisbon 1749-016, Portugal |