2502 search results - page 448 / 501 » Using probabilistic model checking in systems biology |
126
click to vote
FASE
2006
Springer
15 years 3 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
We introduce the notion of "non-malleable codes" which relaxes the notion of error-correction and errordetection. Informally, a code is non-malleable if the message cont...
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
The pharmaceutical industry is facing an ever-increasing demand to discover novel drugs that are more effective and safer than existing ones. The industry faces huge problem in im...
EUROSYS
2006
ACM
15 years 9 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
139
click to vote
MOBICOM
2004
ACM
15 years 5 months ago
2004
ACM
We demonstrate a system built using probabilistic techniques that allows for remarkably accurate localization across our entire office building using nothing more than the built-...