2468 search results - page 184 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
123
click to vote
IQ
2007
15 years 5 months ago
2007
Practitioners and researchers often refer to error rates or accuracy percentages of databases. The former is the number of cells in error divided by the total number of cells; the...
134
click to vote
AAAI
2008
15 years 6 months ago
2008
What local action can agents take, without the benefit of global knowledge, to produce the best global solution? Many dynamic distributed systems can be modeled using techniques f...
117
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
abstract such additional information as network annotations. We introduce a network topology modeling framework that treats annotations as an extended correlation profile of a net...
174
Voted
SUM
2010
Springer
15 years 2 months ago
2010
Springer
CCTV and sensor based surveillance systems are part of our daily lives now in this modern society due to the advances in telecommunications technology and the demand for better sec...
157
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...