Institution: | a LORIA, Campus Scientifique, BP239, 54506 Vandœuvre les Nancy, France b Laboratoire de Recherche en Informatique, University Paris-Sud, Bâtiment 490, 91405 Orsay cedex, France c Laboratoire Bordelais de Recherche en Informatique, University Bordeaux I, 33405 Talence cedex, France |