published in Proceedings IEEE Computer Society S International Computer Software Applications Conference Journal