748 search results - page 39 / 150 » Time and Probability in Process Algebra |
124
Voted
SIAMSC
2008
15 years 10 days ago
2008
A multilevel adaptive aggregation method for calculating the stationary probability vector of an irreducible stochastic matrix is described. The method is a special case of the ada...
173
Voted
TII
2011
14 years 7 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
127
Voted
PE
2011
Springer
14 years 7 months ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Finding frequent patterns from databases has been the most time consuming process in data mining tasks, like association rule mining. Frequent pattern mining in real-time is of in...
ESA
2006
Springer
15 years 4 months ago
2006
Springer
We design compact and responsive kinetic data structures for detecting collisions between n convex fat objects in 3-dimensional space that can have arbitrary sizes. Our main result...