9841 search results - page 683 / 1969 » Distributed Value Functions |
194
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
203
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
Several randomized techniques have been proposed for privacy preserving data mining of continuous data. These approaches generally attempt to hide the sensitive data by randomly m...
188
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
– Motion synchronization in mobile robot networks is a fundamental task in distributed multi-robot collaboration. In this paper, we investigate the robustness of synchronous spee...
221
click to vote
ISPDC
2006
IEEE
16 years 1 months ago
2006
IEEE
Optimistically Terminating Consensus (OTC) is a variant of Consensus that decides if all correct processes propose the same value. It is surprisingly easy to implement: processes ...
214
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
E-learning growth is driven by global, societal, and technological changes that both enable and require increased worker and learner mobility, access to distributed domain experti...