4800 search results - page 648 / 960 » OO Distributed Programming is Not Distributed OO Programming |
160
click to vote
ICALP
2004
Springer
16 years 4 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...
161
click to vote
PERVASIVE
2004
Springer
16 years 3 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...
154
Voted
PVM
2004
Springer
16 years 3 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...
164
click to vote
CLUSTER
2003
IEEE
16 years 1 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 ...
191
Voted
EDOC
2003
IEEE
16 years 1 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...