4759 search results - page 914 / 952 » Software Development Based on Software Pattern Evolution |
130
click to vote
ENVSOFT
2008
15 years 2 months ago
2008
Many impact studies require climate change information at a finer resolution than that provided by Global Climate Models (GCMs). In the last 10 years, downscaling techniques, both...
102
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Completion of the human genome sequence along with other species allows for greater understanding of the biochemical mechanisms and processes that govern healthy as we...
111
click to vote
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
Despite the many solutions proposed by industry and the research community to address phishing attacks, this problem continues to cause enormous damage. Because of our inability t...
173
click to vote
KDD
2007
ACM
16 years 2 months ago
2007
ACM
The proliferation of malware has presented a serious threat to the security of computer systems. Traditional signature-based antivirus systems fail to detect polymorphic and new, ...
112
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...