Sciweavers

3804 search results - page 414 / 761
» interactions 2008
Sort
View
CN
2002
102views more  CN 2002»
15 years 6 months ago
Formal methods for communication services: meeting the industry expectations
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...
Falk Dietrich, Jean-Pierre Hubaux
CONCURRENCY
2000
99views more  CONCURRENCY 2000»
15 years 6 months ago
The Java memory model is fatally flawed
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...
William Pugh
DATAMINE
2000
113views more  DATAMINE 2000»
15 years 6 months ago
Informix under CONTROL: Online Query Processing
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...
CONNECTION
2002
41views more  CONNECTION 2002»
15 years 6 months ago
A large-scale multi-agent system for navy personnel distribution
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...
Lee McCauley, Stan Franklin
CONCURRENCY
1998
90views more  CONCURRENCY 1998»
15 years 6 months ago
Java RMI performance and object model interoperability: experiments with Java/HPC++
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...