4075 search results - page 477 / 815 » Modeling Distributed Algorithm Using B |
215
click to vote
ECSA
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...
215
click to vote
SACMAT
2006
ACM
16 years 21 days ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
182
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we study probabilistic modeling of heterogeneously attributed multi-dimensional arrays. The model can manage the heterogeneity by employing an individual exponential...
183
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
In this paper we study averaging algorithms and coverage control laws in a unified light. First, we characterize the convergence properties of averaging algorithms over acyclic di...
194
click to vote
SIGMETRICS
2004
ACM
16 years 5 days ago
2004
ACM
The performance of IP networks depends on a wide variety of dynamic conditions. Traffic shifts, equipment failures, planned maintenance, and topology changes in other parts of th...