748 search results - page 31 / 150 » Time and Probability in Process Algebra |
88
Voted
QEST
2008
IEEE
15 years 6 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
110
click to vote
CSB
2005
IEEE
15 years 6 months ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
117
Voted
QEST
2010
IEEE
14 years 10 months ago
2010
IEEE
The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMP) through symbolic derivation of probability density functions over Differe...
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
We introduce branching process models in discrete and continuous time for the exponentially increasing phase of cascading blackouts. Cumulative line trips from real blackout data ...
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...