enter search term and/or author name
Group communication specifications: a comprehensive study
Gregory V. Chockler, Idit Keidar, Roman Vitenberg
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
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
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...