9562 search results - page 113 / 1913 » The probability of |
120
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we claim the importance of a cognitive view of trust (its articulate, analytic and founded view), in contrast with a mere quantitative and opaque view of trust suppo...
144
click to vote
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...
104
click to vote
ASPDAC
1999
ACM
15 years 8 months ago
1999
ACM
We propose a new technique called node sampling to speed up the probability-based power estimation methods. It samples and processes only a small portion of total nodes to estimat...
142
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
