819 search results - page 139 / 164 » Using Assumptions to Distribute CTL Model Checking |
113
click to vote
CRYPTO
2010
Springer
14 years 11 months ago
2010
Springer
Side-channel attacks have often proven to have a devastating effect on the security of cryptographic schemes. In this paper, we address the problem of storing cryptographic keys a...
82
Voted
TDP
2008
14 years 10 months ago
2008
The mean vector and covariance matrix are sufficient statistics when the un derlying distribution is multivariate normal. Many type of statistical analyses used in practice rely on...
RAS
2007
14 years 9 months ago
2007
Range measuring sensors can play an extremely important role in robot navigation. All range measuring devices rely on a ‘detection criterion’ made in the presence of noise, to...
111
Voted
AP2PS
2009
IEEE
15 years 1 months ago
2009
IEEE
—P2P computing platforms are subject to a wide range of attacks. In this paper, we propose a generalisation of the previous disk-less checkpointing approach for fault-tolerance i...
73
Voted
SIGECOM
2006
ACM
15 years 4 months ago
2006
ACM
In multiagent systems, strategic settings are often analyzed under the assumption that the players choose their strategies simultaneously. However, this model is not always realis...