Sciweavers

213 search results - page 24 / 43
» Benchmarking Anomaly-Based Detection Systems
Sort
View
BMCBI
2008
158views more  BMCBI 2008»
13 years 6 months ago
VarDetect: a nucleotide sequence variation exploratory tool
Background: Single nucleotide polymorphisms (SNPs) are the most commonly studied units of genetic variation. The discovery of such variation may help to identify causative gene mu...
Chumpol Ngamphiw, Supasak Kulawonganunchai, Anunch...
IJNSEC
2007
125views more  IJNSEC 2007»
13 years 6 months ago
An Observation-Centric Analysis on the Modeling of Anomaly-based Intrusion Detection
It is generally agreed that two key points always attract special concerns during the modelling of anomaly-based intrusion detection. One is the techniques about discerning two cl...
Zonghua Zhang, Hong Shen, Yingpeng Sang
CAV
2007
Springer
166views Hardware» more  CAV 2007»
14 years 28 days ago
Fast and Accurate Static Data-Race Detection for Concurrent Programs
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, A...
BMCBI
2007
148views more  BMCBI 2007»
13 years 6 months ago
fREDUCE: Detection of degenerate regulatory elements using correlation with expression
Background: The precision of transcriptional regulation is made possible by the specificity of physical interactions between transcription factors and their cognate binding sites ...
Randy Z. Wu, Christina Chaivorapol, Jiashun Zheng,...
CORR
2011
Springer
142views Education» more  CORR 2011»
12 years 10 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp