1804 search results - page 274 / 361 » On set systems with a threshold property |
123
click to vote
RAID
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. In order to detect a compromise of a running process based on it deviating from its program’s normal system-call behavior, an anomaly detector must first be trained wi...
161
click to vote
BIBE
2008
IEEE
16 years 24 days ago
2008
IEEE
-This paper builds a two dimensional Oculomotor Plant Mathematical Model (2DOPMM) that is capable of generating eye movement trace on a two dimensional plane. The key difference be...
164
click to vote
CDC
2008
IEEE
16 years 24 days ago
2008
IEEE
— Protein synthesis is an essential process of cell cycle and growth in eukaryotic cells. The initiation stage of the translation process is known to be the most crucial in regul...
155
click to vote
SEFM
2007
IEEE
16 years 17 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
194
click to vote
ATVA
2007
Springer
16 years 15 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...