4075 search results - page 607 / 815 » Modeling Distributed Algorithm Using B |
191
click to vote
KDD
2005
ACM
16 years 2 days ago
2005
ACM
The increasing complexity of today’s systems makes fast and accurate failure detection essential for their use in mission-critical applications. Various monitoring methods provi...
165
click to vote
RIVF
2007
15 years 8 months ago
2007
— This paper investigates the problem of secret key transmissions for an arbitrary Alice-Bob pair in Quantum Key Distribution (QKD)-based networks. We develop a realistic QKDbase...
202
click to vote
VALUETOOLS
2006
ACM
16 years 16 days ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
161
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We address the problem of robust appearance-based visual tracking. First, a set of simplified biologically inspired features (SBIF) is proposed for object representation and the B...
185
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...