864 search results - page 77 / 173 » codes 2003 |
157
click to vote
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. This provides a powerful way...
184
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
163
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
152
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
An instance-oriented security mechanism is proposed to deal with security threats in building a general-purpose mobile agent middleware in Grid environment. The proposed solution i...
159
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
A parameter-less adaptive penalty scheme for steady-state genetic algorithms applied to constrained optimization problems is proposed. For each constraint, a penalty parameter is a...