4962 search results - page 95 / 993 » Stochastic Model Checking |
182
click to vote
BMCBI
2010
15 years 6 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...
121
click to vote
TNN
2008
15 years 6 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...
126
click to vote
CDC
2008
IEEE
16 years 23 days 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, ...
168
click to vote
INFOCOM
2000
IEEE
15 years 10 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...
164
click to vote
DATE
2007
IEEE
16 years 19 days 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 ...