9316 search results - page 185 / 1864 » Analysis of traceback techniques |
119
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
137
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
156
click to vote
SCIA
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present a novel image-based 3D surface reconstruction technique that incorporates both reflectance and polarisation features into a variational framework. Our tec...
146
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—We present a new technique for statistical static timing analysis (SSTA) based on Markov chain Monte Carlo (MCMC), that allows fast and accurate estimation of the right-hand tai...
137
Voted
CMS
2006
15 years 5 months ago
2006
Abstract. There are a number of attacker models in the area of anonymous communication. Most of them are either very simplified or pretty abstract - therefore difficult to generali...