2042 search results - page 238 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
134
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Loss networks provide a powerful tool for the analysis and design of many communication and networking systems. It is well known that a large number of loss networks have produ...
118
click to vote
AIIA
2007
Springer
15 years 5 months ago
2007
Springer
We have recently presented CarpeDiem, an algorithm that can be used for speeding up the evaluation of Supervised Sequential Learning (SSL) classifiers. CarpeDiem provides impress...
109
Voted
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
121
click to vote
IOR
2008
15 years 4 months ago
2008
We consider the risk of a portfolio comprised of loans, bonds, and financial instruments that are subject to possible default. In particular, we are interested in performance meas...
153
Voted
KI
2009
Springer
15 years 10 months ago
2009
Springer
Today’s complex production systems allow to simultaneously build different products following individual production plans. Such plans may fail due to component faults or unfores...