ÐIn this paper, we explore techniques to detect Byzantine server failures in asynchronous replicated data services. Our goal is to detect arbitrary failures of data servers in a s...
Dahlia Malkhi, Michael K. Reiter, Avishai Wool, Re...
"To be a good programmer is difficult and noble. The hardest part of making real a collective vision of a software project is dealing with one's coworkers and customers. ...
The AquaLogic Data Services Platform (ALDSP) is a BEA middleware platform for creating services that access and manipulate information drawn from multiple heterogeneous sources of ...
Vinayak R. Borkar, Michael J. Carey, Daniel Engova...
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
The Virtual Telescopes in Education (VTIE) project, is providing tools for teaching astronomy in K-12 classrooms using remotely controlled telescopes. VTIE's main goal to pro...
Susan Hoban, John G. Keating, Joel Sachs, Daniel L...