Proceedings (IEEE Computer Society,)