2042 search results - page 70 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
FMCO
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
FORTE
2004
13 years 9 months ago
2004
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
This work presents a novel people tracking approach, able to cope with frequent shape changes and large occlusions. In particular, the tracks are described by means of probabilist...
CMSB
2009
Springer
14 years 2 months ago
2009
Springer
Systems of ordinary differential equations (ODEs) are often used to model the dynamics of complex biological pathways. We construct a discrete state model as a probabilistic appro...
JLP
2007
13 years 7 months ago
2007
Secret or private information may be leaked to an external attacker through the timing behaviour of the system running the untrusted code. After introducing a formalisation of thi...