1397 search results - page 177 / 280 » On the Need for Practical Formal Methods |
170
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
148
click to vote
ASIACRYPT
2001
Springer
15 years 9 months ago
2001
Springer
The aim of this article is to propose a fully distributed environment for the RSA scheme. What we have in mind is highly sensitive applications and even if we are ready to pay a pr...
157
click to vote
KDD
2005
ACM
16 years 5 months ago
2005
ACM
Addressed in this paper is the issue of `email data cleaning' for text mining. Many text mining applications need take emails as input. Email data is usually noisy and thus i...
139
click to vote
IACR
2011
14 years 4 months ago
2011
Identity-based decryption is an alternative to identity-based encryption, in which Alice encrypts a symmetric key for Bob under a trusted authority’s public key. Alice sends Bob...
135
click to vote
CADE
2001
Springer
16 years 5 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...