4800 search results - page 648 / 960 » OO Distributed Programming is Not Distributed OO Programming |
177
click to vote
ICALP
2004
Springer
16 years 19 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
167
click to vote
PERVASIVE
2004
Springer
16 years 18 days ago
2004
Springer
Based on an extensive field study of current firefighting practices, we have developed a system called Siren to support tacit communication between firefighters with multiple level...
171
click to vote
PVM
2004
Springer
16 years 18 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
181
click to vote
CLUSTER
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper presents a comparative study of the communication middleware systems suitable for aggregating computational clusters with heterogeneous incompatible SANs into a common ...
206
click to vote
EDOC
2003
IEEE
16 years 16 days ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...