We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. This chapter is hard to interpret and po...
The goal of the CONTROL project at Berkeley is to develop systems for interactive analysis of large data sets. We focus on systems that provide users with iteratively refining answ...
Joseph M. Hellerstein, Ron Avnur, Vijayshankar Ram...
In the USNavy,at the endof eachsailor's tour of duty, he or she is assigned to a newjob. TheNavyemployssome 280people,called detailers, full timeto effect thesenew assignment...
Java RMI provides an elegant and powerful model for invoking member functions on objects that exist in remote address spaces. Unfortunately, it is a Java-to-Java communication mod...
Fabian Breg, Shridhar Diwan, Juan E. Villacis, Jay...