1579 search results - page 143 / 316 » On the Constructions of Constant-Weight Codes |
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
The Freebsd, gnu/Linux, Solaris, and Windows operating systems have kernels that provide comparable facilities. Interestingly, their code bases share almost no common parts, while...
140
click to vote
POPL
2001
ACM
15 years 10 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
We present a technique for finding security vulnerabilities in Web applications. SQL Injection (SQLI) and crosssite scripting (XSS) attacks are widespread forms of attack in whic...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
—Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing management approaches for code clo...