2687 search results - page 503 / 538 » Formal Analysis of PKCS |
115
Voted
TIFS
2008
15 years 21 days ago
2008
In autonomous mobile ad-hoc networks, one major challenge is to stimulate cooperation among selfish nodes, especially when some nodes may be malicious. In this paper, we address co...
106
Voted
BMCBI
2005
15 years 21 days ago
2005
Background: The recent explosion in the availability of complete genome sequences has led to the cataloging of tens of thousands of new proteins and putative proteins. Many of the...
BMCBI
2005
15 years 21 days ago
2005
Background: Although DNA microarray technologies are very powerful for the simultaneous quantitative characterization of thousands of genes, the quality of the obtained experiment...
128
click to vote
WWW
2008
ACM
15 years 20 days ago
2008
ACM
We propose a novel Partition Path-Based (PPB) grouping strategy to store compressed XML data in a stream of blocks. In addition, we employ a minimal indexing scheme called Block S...
107
Voted
JSYML
2000
15 years 17 days ago
2000
The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the AxKochen-Ershov principle is proven for...