430 search results - page 44 / 86 » Design by Contract for Python |
126
click to vote
SOSP
2009
ACM
15 years 10 months ago
2009
ACM
RESIN is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. RESIN provides policy obje...
124
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
127
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
124
click to vote
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
Idle desktops have been successfully used to run sequential and master-slave task parallel codes on a large scale in the context of volunteer computing. However, execution of messa...
BMCBI
2010
15 years 2 months ago
2010
Background: Bisulfite sequencing using next generation sequencers yields genome-wide measurements of DNA methylation at single nucleotide resolution. Traditional aligners are not ...