11328 search results - page 1835 / 2266 » Timed Branching Processes |
184
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we present a quantitative study of data survival in peer to peer storage systems. We first recall two main redundancy mechanisms: replication and erasure codes, whic...
136
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Multiagent resource allocation is a timely and exciting area of research at the interface of Computer Science and Economics. One of the main challenges in this area is the high co...
197
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
125
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
The ability to control gene expression during development in plants could be used for improving crop yields, resistance to disease, and environmental adaptability. It has been sug...
149
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Institutions and companies that are based in countries where the main language is not English typically publish Web sites that offer the same information at least in the local lan...