10462 search results - page 212 / 2093 » Towards an |
198
click to vote
SOSE
2008
IEEE
16 years 12 days ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
130
click to vote
SP
2008
IEEE
16 years 12 days ago
2008
IEEE
Many basic tasks in computational biology involve operations on individual DNA and protein sequences. These sequences, even when anonymized, are vulnerable to re-identification a...
132
click to vote
SP
2008
IEEE
16 years 12 days ago
2008
IEEE
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
149
click to vote
SRDS
2008
IEEE
16 years 12 days ago
2008
IEEE
A new generation of distributed systems and applications rely on the cooperation of diverse user populations motivated by self-interest. While they can utilize “reputation syste...
146
click to vote
TOOLS
2008
IEEE
16 years 12 days ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...