Proceedings (IEEE Computer Society Press, 1994)