1302 search results - page 240 / 261 » Soundness in the Public-Key Model |
102
click to vote
SBBD
2004
15 years 1 months ago
2004
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...
111
click to vote
PPOPP
2010
ACM
15 years 9 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
137
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
109
click to vote
ISER
1999
Springer
15 years 4 months ago
1999
Springer
: We are developing a robotic measurement facility which makes it very easy to build “reality-based” models, i.e., computational models of existing, physical objects based on a...
110
click to vote
JCB
2008
14 years 11 months ago
2008
Quantification of statistical significance is essential for the interpretation of protein structural similarity. To address this, a random model for protein structure comparison w...