971 search results - page 21 / 195 » Dynamically Configurable Distributed Objects |
115
click to vote
CONCUR
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
106
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Traditional image-based mosaicing deals with the problem of parallax by imposing constraints of a parallax-free camera configuration or requiring a dense sampling of the scene. Th...
142
click to vote
EDO
2006
Springer
15 years 7 months ago
2006
Springer
We present a new publish-subscribe middleware called REDS (REconfigurable Dispatching System) designed to tolerate dynamic reconfigurations of the dispatching infrastructure, like...
139
click to vote
CSCW
2006
ACM
15 years 10 months ago
2006
ACM
Mixed Reality Architecture (MRA) supports distributed teams in their everyday work activities by linking multiple physical spaces across a shared three-dimensional virtual world. ...
136
click to vote
SIROCCO
2000
15 years 5 months ago
2000
: We consider a well known distributed coloring game played on a simple connected graph: initially, each vertex is colored black or white; at each round, each vertex simultaneously...