2610 search results - page 377 / 522 » Computational Probabilistic Non-interference |
118
Voted
EUROCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Generating a distributed key, where a constant fraction of the players can reconstruct the key, is an essential component of many largescale distributed computing tasks such as ful...
154
Voted
SGP
2004
15 years 5 months ago
2004
Point clouds are one of the most primitive and fundamental surface representations. A popular source of point clouds are three dimensional shape acquisition devices such as laser ...
135
Voted
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
129
Voted
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a formal analysis of amino acid replacement during mRNA translation. Building on an abstract stochastic model of arrival of tRNAs and their processing at the r...
122
Voted
ICAI
2007
15 years 5 months ago
2007
Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As biomolecular...