Sciweavers

1541 search results - page 141 / 309
» Interaction Analysis in Aspect-Oriented Models
Sort
View
MEMICS
2010
13 years 2 months ago
Modeling Gene Networks using Fuzzy Logic
Recently, almost uncontrolled technological progress allows so called high-throughput data collection for sophisticated and complex experimental biological systems analysis. Espec...
Artur Gintrowski
INFOCOM
2006
IEEE
14 years 1 months ago
A Quasi-Species Approach for Modeling the Dynamics of Polymorphic Worms
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...
Bradley Stephenson, Biplab Sikdar
VISSYM
2004
13 years 9 months ago
Visualization For Public-Resource Climate Modeling
Climateprediction.net aims to harness the spare CPU cycles of a million individual users' PCs to run a massive ensemble of climate simulations using an up-to-date, full-scale...
J. P. R. B. Walton, D. Frame, D. A. Stainforth
ICASSP
2008
IEEE
14 years 2 months ago
Adaptive score normalization for progressive model adaptation in text independent speaker verification
This paper deals with the interaction between progressive model adaptation and score normalization strategies which are used for reducing the variation in likelihood ratio scores ...
Shou-Chun Yin, Richard Rose, Patrick Kenny
APSEC
2005
IEEE
14 years 1 months ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook