2468 search results - page 101 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
152
Voted
PODC
1997
ACM
15 years 7 months ago
1997
ACM
Systems that store objects at a large number of sites require fault-tolerant and timely garbage collection. A popular technique is to trace each site independently using inter-sit...
128
Voted
MASCOTS
1994
15 years 4 months ago
1994
Over the last two decades a considerable amount of effort has been put in the development and application of matrix geometric techniques for the analysis of queueing systems of wh...
168
Voted
HASE
1998
IEEE
15 years 7 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
127
Voted
IWSEC
2007
Springer
15 years 9 months ago
2007
Springer
The problem of defending software against tampering by a malicious host is not expected to be solved soon. Rather than trying to defend against the first attack, randomization tri...
163
Voted
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
In image retrieval, most existing approaches that incorporate local features produce high dimensional vectors, which lead to a high computational and data storage cost. Moreover, ...