3107 search results - page 237 / 622 » Error-Correcting Source Code |
130
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
125
click to vote
SCAM
2007
IEEE
15 years 11 months ago
2007
IEEE
Collection attributes, as defined by Boyland, can be used as a mechanism for concisely specifying cross-referencelike properties such as callee sets, subclass sets, and sets of v...
121
click to vote
IWPC
2006
IEEE
15 years 10 months ago
2006
IEEE
For many enterprises, reacting to fast changes to their business process is key to maintaining their competitive edge in the market. However, developers often must manually locate...
149
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
166
click to vote
METRICS
2003
IEEE
15 years 10 months ago
2003
IEEE
In component-based software development, it is necessary to measure the reusability of components in order to realize the reuse of components effectively. There are some product m...