Proceedings (IEEE Computer Society Press,)