3688 search results - page 193 / 738 » Static analysis of aspects |
179
click to vote
FTEDA
2007
15 years 6 months ago
2007
The number of gates on a chip is quickly growing toward and beyond the one billion mark. Keeping all the gates running at the beat of a single or a few rationally related clocks i...
166
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper shows how system-speci c static analysis can nd security errors that violate rules such as \integers from untrusted sources must be sanitized before use" and \do n...
219
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
A Software Product Line (SPL) is a family of programs. Testing an SPL is a challenge because the number of programs to examine may be exponential in the number of features. Howeve...
238
click to vote
TKDE
2012
13 years 9 months ago
2012
— Most proposed DHTs engage certain topology maintenance mechanisms specific to the static graphs on which they are based. The designs of these mechanisms are complicated and rep...
189
click to vote
ICEBE
2007
IEEE
16 years 27 days ago
2007
IEEE
Due to the dramatic increase in intrusive activities architecture security analysis and design has emerged as an important aspect of the development of software services. It is a ...