13593 search results - page 590 / 2719 » Performance Analysis of MD5 |
259
click to vote
ICFEM
2010
Springer
15 years 6 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
197
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
202
click to vote
JCO
2010
15 years 5 months ago
2010
This paper considers an on-line scheduling problem occurred in a service system with two classes (normal and special) of customers and two types (dedicated and flexible) of serve...
189
click to vote
SIAMAM
2010
15 years 5 months ago
2010
We address the stochastic characteristics of a recently-proposed greedy routing scheme. The stochastic behaviour of individual hop advancements is examined to observe the overall ...
202
click to vote
TCOM
2011
15 years 2 months ago
2011
—An improved concatenated code structure, which generalizes parallel and serially concatenated convolutional codes is presented and investigated. The structure is ideal for desig...