12981 search results - page 529 / 2597 » Model Checking (Abstract) |
146
click to vote
CTRSA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Fault Analysis is a powerful cryptanalytic technique that enables to break cryptographic implementations embedded in portable devices more efficiently than any other tech...
155
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— We present an improved thresholding LDPC decoding algorithm which outperforms the Split-Row and original Split-Row Threshold decoders with a small increase in hardware....
152
Voted
ICSEA
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
141
click to vote
ACNS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Users of online-collaboration tools and network storage services place considerable trust in their providers. This paper presents a novel approach for protecting data int...
168
click to vote
AMI
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...