2560 search results - page 170 / 512 » Analysis Tool for Honeypot Systems |
215
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Microarrays are routinely used to assess mRNA transcript levels on a genome-wide scale. Large amount of microarray datasets are now available in several databases, and...
179
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
187
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
194
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
183
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Protein sequence motifs are by definition short fragments of conserved amino acids, often associated with a specific function. Accordingly protein sequence profiles de...