3972 search results - page 311 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
136
click to vote
EUROCRYPT
2010
Springer
15 years 9 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
150
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Experimental studies have shown that electing a leader based on measurements of the underlying communication network can be beneficial. We use this approach to study the problem ...
147
click to vote
PPDP
2001
Springer
15 years 9 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
111
click to vote
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
The paper presents a clutter detection and removal algorithm for complex document images. The distance transform based approach is independent of clutter's position, size, sh...
150
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper, we analyze the cyber security of state estimators in Supervisory Control and Data Acquisition (SCADA) systems operating in power grids. Safe and reliable operation o...