5506 search results - page 717 / 1102 » Visualizing Software Changes |
121
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
125
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Software systems increasingly integrate Off-The-Shelf (OTS) components. However, due to the lack of knowledge about the reused OTS components, this integration is fragile and can ...
137
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...
136
click to vote
COMPSAC
2007
IEEE
15 years 11 months 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...
138
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...