3376 search results - page 397 / 676 » Analyzing Software Evolvability |
165
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
187
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Writing an optimizing back end is expensive, in part because it requires mastery of both a target machine and a compiler's internals. We separate these concerns by i...
205
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
195
Voted
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
159
click to vote
ADAEUROPE
2003
Springer
15 years 10 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...