2143 search results - page 163 / 429 » corr 2010 |
146
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We axiomatically characterize the class of pairwise irresolute social choice functions that are group-strategyproof according to Kelly's preference extension. The class is na...
135
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Let H = (V, E) be a hypergraph. A conflict-free coloring of H is an assignment of colors to V such that in each hyperedge e E there is at least one uniquely-colored vertex. This ...
175
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present our approach for deploying and managing distributed component-based applications. A Desired State Description (DSD), written in a high-level declarative langua...
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
158
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...