3799 search results - page 568 / 760 » An Engineering Approach to Formal Methods |
170
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
To defeat current commercial antivirus software, the virus developers are employing obfuscation techniques to create mutating viruses. The current antivirus software cannot handle...
176
click to vote
CGO
2007
IEEE
16 years 26 days ago
2007
IEEE
Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations in optimizing compile...
160
click to vote
COMPSAC
2007
IEEE
16 years 26 days ago
2007
IEEE
Dynamic evolution has been an essential requirement for more and more business systems which attempt to provide 7(days) x 24(hours) availability and flexible adaptability on the c...
178
click to vote
ICSM
2007
IEEE
16 years 25 days ago
2007
IEEE
Uncovering, modelling, and understanding architectural level dependencies of software systems is a key task for software maintainers. However, current dependency analysis techniqu...
180
click to vote
WCRE
2007
IEEE
16 years 24 days ago
2007
IEEE
Comments are valuable especially for program understanding and maintenance, but do developers comment their code? To which extent do they add comments or adapt them when they evol...