Computing Surveys (CSUR)


Search Issue
enter search term and/or author name


ACM Computing Surveys (CSUR), Volume 33 Issue 4, December 2001

Group communication specifications: a comprehensive study
Gregory V. Chockler, Idit Keidar, Roman Vitenberg
Pages: 427-469
DOI: 10.1145/503112.503113
View-oriented group communication is an important and widely used building block for many distributed applications. Much current research has been dedicated to specifying the semantics and services of view-oriented group communication systems...

The state of the art in automating usability evaluation of user interfaces
Melody Y. Ivory, Marti A Hearst
Pages: 470-516
DOI: 10.1145/503112.503114
Usability evaluation is an increasingly important part of the user interface design process. However, usability evaluation can be expensive in terms of time and human resources, and automation is therefore a promising way to augment existing...

Formalizing the safety of Java, the Java virtual machine, and Java card
Pieter H. Hartel, Luc Moreau
Pages: 517-558
DOI: 10.1145/503112.503115
We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smartcards. The conclusion is that although a lot of good work has been done, a more concerted effort is...