3688 search results - page 369 / 738 » Static analysis of aspects |
160
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The success achieved by genome-wide association (GWA) studies in the identification of candidate loci for complex diseases has been accompanied by an inability to expl...
231
click to vote
ENTCS
2002
15 years 6 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
198
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Malicious software is rampant on the Internet and costs billions of dollars each year. Safe and thorough analysis of malware is key to protecting vulnerable systems and cleaning...
200
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
184
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Correlation networks are increasingly being used in bioinformatics applications. For example, weighted gene co-expression network analysis is a systems biology method ...