4307 search results - page 628 / 862 » Dynamic Spyware Analysis |
SIGMETRICS
2008
ACM
13 years 10 months ago
2008
ACM
This paper addresses the quantitative analysis of gossiping protocols. In contrast to existing approaches which are entirely based on the simulation of the individual nodes' ...
AUTOMATICA
2005
13 years 10 months ago
2005
This paper presents a computational approach for the frequency-domain identification of multivariable, discrete-time transfer function models based on a cost function minimization...
BMCBI
2005
13 years 10 months ago
2005
Background: Alternative splicing (AS) is now considered as a major actor in transcriptome/ proteome diversity and it cannot be neglected in the annotation process of a new genome....
JAR
2007
13 years 10 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
BMCBI
2005
13 years 10 months ago
2005
Background: Recent analysis of the yeast gene network shows that most genes have few inputs, indicating that enumerative gene reconstruction methods are both useful and computatio...