Procedia computer science