532 search results - page 4 / 107 » Process Algebras for Quantitative Analysis |
TOPNOC
2008
13 years 7 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
TCS
2010
13 years 2 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
IWIA
2005
IEEE
14 years 1 months ago
2005
IEEE
Previous quantitative models of security or survivability have been defined on a range of probable intruder behavior. This measures survivability as a statistic such as mean time...
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
To demonstrate the performance of color image processing algorithms, it is desirable to be able to accurately display color images in archival publications. Our previous work [1],...