321 search results - page 23 / 65 » Testing protocols modeled as FSMs with timing parameters |
92
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
83
Voted
NECO
2008
15 years 12 days ago
2008
We analyze a neural network model of the Eriksen task, a twoalternative forced choice task in which subjects must correctly identify a central stimulus and disregard flankers that...
103
click to vote
ICIP
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper, we propose a series of techniques to enhance the computational performance of existing Belief Propagation (BP) based stereo matching that relies on automatic estima...
112
Voted
PADS
1999
ACM
15 years 4 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
ACSD
2003
IEEE
15 years 5 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...