1080 search results - page 112 / 216 » Performance analysis of the CONFIDANT protocol |
104
click to vote
NETWORKING
2004
14 years 11 months ago
2004
Several new protocols such as RBUDP, User-Level UDP, Tsunami, and SABUL, have been proposed as alternatives to TCP for high speed data transfer. The purpose of this paper is to an...
112
click to vote
PSTV
1992
14 years 11 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
122
click to vote
ICFEM
2010
Springer
14 years 8 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...
CODES
1998
IEEE
15 years 2 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
101
click to vote
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
It has been previously demonstrated that systems based on block wise local features and Gaussian mixture models (GMM) are suitable for video based talking face verification due t...