, Swedish Institute of Computer Science, Sweden