923 search results - page 163 / 185 » Proving the value of formal methods |
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Discovering mappings between concept hierarchies is widely regarded as one of the hardest and most urgent problems facing the Semantic Web. The problem is even harder in domains w...
108
Voted
MICRO
2008
IEEE
15 years 1 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
137
Voted
AFRICACRYPT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This article investigates the relevance of the theoretical framework on profiled side-channel attacks presented by F.-X. Standaert et al. at Eurocrypt 2009. The analyses ...
128
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Novel molecular and statistical methods are in rising demand for disease diagnosis and prognosis with the help of recent advanced biotechnology. High-resolution mass s...
112
click to vote
ACISP
2009
Springer
15 years 8 months ago
2009
Springer
In the setting of identity-based encryption with multiple trusted authorities, TA anonymity formally models the inability of an adversary to distinguish two ciphertexts correspondi...