3104 search results - page 404 / 621 » Using quantitative analysis to implement autonomic IT system... |
152
click to vote
DRR
2010
15 years 7 months ago
2010
Biomedical images are invaluable in establishing diagnosis, acquiring technical skills, and implementing best practices in many areas of medicine. At present, images needed for in...
151
Voted
IPM
2007
15 years 5 months ago
2007
Information retrieval systems consist of many complicated components. Research and development of such systems is often hampered by the difficulty in evaluating how each particula...
131
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: A logical model of the known metabolic processes in S. cerevisiae was constructed from iFF708, an existing Flux Balance Analysis (FBA) model, and augmented with inform...
156
click to vote
PLDI
2009
ACM
15 years 12 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
129
click to vote
RAID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Network worms are malicious programs that spread automatically across networks by exploiting vulnerabilities that affect a large number of hosts. Because of the speed at...