Sciweavers

4985 search results - page 417 / 997
» Observation of String-Rewriting Systems
Sort
View
EVOW
2009
Springer
15 years 4 months ago
Evolving High-Speed, Easy-to-Understand Network Intrusion Detection Rules with Genetic Programming
An ever-present problem in intrusion detection technology is how to construct the patterns of (good, bad or anomalous) behaviour upon which an engine have to make decisions regardi...
Agustín Orfila, Juan M. Estévez-Tapi...
ICCV
2009
IEEE
15 years 4 months ago
Active segmentation with fixation
The human visual system observes and understands a scene/image by making a series of fixations. Every "fixation point" lies inside a particular region of arbitrary shape...
Ajay K. Mishra, Yiannis Aloimonos, Loong Fah Cheon...
IEEEARES
2009
IEEE
15 years 4 months ago
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
Chunyan Mu, David Clark
RV
2007
Springer
130views Hardware» more  RV 2007»
16 years 1 months ago
Statistical Runtime Checking of Probabilistic Properties
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regeh...
AICCSA
2006
IEEE
137views Hardware» more  AICCSA 2006»
16 years 1 months ago
Modeling Redundancy: Quantitative and Qualitative Models
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shere...