532 search results - page 4 / 107 » Process Algebras for Quantitative Analysis |
102
Voted
TOPNOC
2008
14 years 10 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...
105
Voted
TCS
2010
14 years 5 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
15 years 12 months ago
2004
IEEE
83
Voted
IWIA
2005
IEEE
15 years 3 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
15 years 12 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],...