2560 search results - page 149 / 512 » Analysis Tool for Honeypot Systems |
141
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Once a new genome is sequenced, one of the important questions is to determine the presence and absence of biological pathways. Analysis of biological pathways in a ge...
137
click to vote
VALUETOOLS
2006
ACM
15 years 8 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
117
click to vote
FLAIRS
2006
15 years 3 months ago
2006
Intelligent Tutoring Systems, while effective at producing student learning [2,7], are notoriously costly to construct [1,9], and require PhD level experience in cognitive science...
107
click to vote
WCRE
2008
IEEE
15 years 8 months ago
2008
IEEE
We present the metric lens, a new visualization of methodlevel code metrics atop UML class diagrams, which allows performing metric-metric and metric-structure correlations on lar...
111
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...