532 search results - page 26 / 107 » Process Algebras for Quantitative Analysis |
SODA
2010
ACM
14 years 5 months ago
2010
ACM
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
We present a robust method for time-frequency model estimation. It involves a robust Leclerc's estimator to ensure robustness w.r.t. noise and interferences present in timefr...
BPM
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
– In real-time multimedia processing systems a very large part of the power consumption is due to the data storage and data transfer. Moreover, the area cost is often largely dom...