1134 search results - page 159 / 227 » Distributed Proving in Access-Control Systems |
118
click to vote
ESM
2000
15 years 4 months ago
2000
Blocking probabilities in Wavelength Division Multiplex optical networks are hard to compute for realistic sized systems, even though analytical formulas for the distribution exis...
121
click to vote
TOPLAS
2010
15 years 1 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
151
click to vote
CISS
2010
IEEE
14 years 6 months ago
2010
IEEE
—Gaussian belief propagation is an iterative algorithm for computing the mean of a multivariate Gaussian distribution. Equivalently, the min-sum algorithm can be used to compute ...
148
click to vote
IEEEARES
2008
IEEE
15 years 9 months ago
2008
IEEE
Reliability analysis has become an integral part of system design and operating. This is especially true for systems performing critical tasks such as mass transportation systems....
131
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Regret based algorithms have been proposed to control a wide variety of multi-agent systems. The appeal of regretbased algorithms is that (1) these algorithms are easily implement...