4759 search results - page 563 / 952 » Software Development Based on Software Pattern Evolution |
210
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
192
Voted
RAID
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...
199
click to vote
DILS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Grid computing has great potential for supporting the integration of complex, fast changing biological data repositories to enable distributed data analysis. One scenario...
181
Voted
APVIS
2001
15 years 8 months ago
2001
Information visualisation exploits the natural perceptual capabilities of the decisionfacilitate the rapid assimilation and analysis of abstract, complex and often voluminous info...
185
Voted
IPL
2010
15 years 5 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...