2841 search results - page 405 / 569 » A Call to Order |
171
click to vote
JCS
2010
15 years 5 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
161
click to vote
JSAC
2010
15 years 5 months ago
2010
—Due to their limited capabilities, wireless sensor nodes are subject to physical attacks that are hard to defend against. In this paper, we first identify a typical attacker, c...
151
click to vote
JVCIR
2010
15 years 5 months ago
2010
In order to get an efficient image representation we introduce a new adaptive Haar wavelet transform, called Tetrolet Transform. Tetrolets are Haar-type wavelets whose supports ar...
162
click to vote
MP
2010
15 years 5 months ago
2010
In this paper, we introduce an operation that creates families of facet-defining inequalities for highdimensional infinite group problems using facet-defining inequalities of l...
181
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
Database query optimizers rely on data statistics in selecting query execution plans. Similar query optimization techniques are desirable for deductive databases and, to make this...