5638 search results - page 801 / 1128 » On presence |
162
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Numerous biological functions--such as enzymatic catalysis, the immune response system, and the DNA-protein regulatory network--rely on the ability of molecules to specifically rec...
156
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We consider the problem of self-healing in networks that are reconfigurable in the sense that they can change their topology during an attack. Our goal is to maintain connectivity...
146
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Much of the literature on rational cryptography focuses on analyzing the strategic properties of cryptographic protocols. However, due to the presence of computationallybounded pl...
191
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
186
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The paper has two objectives. The first is to study rigorously the transient behavior of some P2P networks where information is replicated and disseminated according to an epidemic...