8196 search results - page 147 / 1640 » Computational Modeling and Complexity Science |
179
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Private Set Intersection (PSI) protocols allow one party ("client") to compute an intersection of its input set with that of another party ("server"), such tha...
183
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
184
click to vote
SCFBM
2008
15 years 5 months ago
2008
Modern life sciences research increasingly relies on computational solutions, from large scale data analyses to theoretical modeling. Within the theoretical models Boolean network...
193
click to vote
JCP
2007
15 years 6 months ago
2007
Abstract— This paper deals with the use of Bayesian Networks to compute system reliability of complex systems under epistemic uncertainty. In the context of incompleteness of rel...
165
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...