ERCIM European Research Consortium for Informatics and Mathematics E uropean R esearch C onsortium for I nformatics and M athematics.