4962 search results - page 95 / 993 » Stochastic Model Checking |
BMCBI
2010
13 years 9 months ago
2010
Background: The system-level dynamics of many molecular interactions, particularly protein-protein interactions, can be conveniently represented using reaction rules, which can be...
TNN
2008
13 years 9 months ago
2008
Abstract--Levy noise can help neurons detect faint or subthreshold signals. Levy noise extends standard Brownian noise to many types of impulsive jump-noise processes found in real...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Systems biologists are often faced with competing models for a given experimental system. Unfortunately, performing experiments can be time-consuming and expensive. Therefore, ...
INFOCOM
2000
IEEE
14 years 1 months ago
2000
IEEE
—An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented. A Markovian approach is developed that allows us...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
As the hardware and software complexity grows, it is unlikely for the power management hardware/software to have a full observation of the entire system status. In this paper, we ...