4543 search results - page 95 / 909 » Interactive Distributed Configuration |
126
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
80
Voted
PODC
2009
ACM
16 years 2 months ago
2009
ACM
We introduce a class of Paxos algorithms called Vertical Paxos, in which reconfiguration can occur in the middle of reaching agreement on an individual state-machine command. Vert...
86
Voted
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a component model for building distributed applications with fault-tolerance requirements. The AFT-CCM model selects the configuration of replicated services d...
111
click to vote
SPLC
2010
15 years 3 months ago
2010
Abstract. FOSS (Free and Open Source Software) distributions use dependencies and package managers to maintain huge collections of packages and their installations; recent research...
98
Voted
ECCV
2004
Springer
15 years 7 months ago
2004
Springer
—Cast shadows can be significant in many computer vision applications, such as lighting-insensitive recognition and surface reconstruction. Nevertheless, most algorithms neglect ...