7 search results - page 1 / 2 » Markovian Testing Equivalence and Exponentially Timed Intern... |
64
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
143
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
89
Voted
ICTCS
2007
Springer
15 years 7 months ago
2007
Springer
ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...
113
Voted
ENTCS
2006
15 years 23 days ago
2006
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
99
Voted
TCS
2002
15 years 12 days ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...