2143 search results - page 234 / 429 » corr 2010 |
158
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we prove that type-tagging prevents type-flaw attacks on security protocols that use the Exclusive-OR operator as our main contribution. Our proof method is general ...
171
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
A UML based metamodel for Bunge-Wand-Weber (BWW) ontology is presented. BWW ontology is a generic framework for analysis and conceptualization of real world objects. It includes c...
159
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
As shown by Tropp, 2008, for the concatenation of two orthonormal bases (ONBs), breaking the square-root bottleneck in compressed sensing does not require randomization over all th...
145
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a model for deterministic distributed function computation by a network of identical and anonymous nodes. In this model, each node has bounded computation and storage c...
148
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In Bayesian machine learning, conjugate priors are popular, mostly due to mathematical convenience. In this paper, we show that there are deeper reasons for choosing a conjugate pr...