79 search results - page 15 / 16 » Quantitative Analysis of Probabilistic Lossy Channel Systems |
154
click to vote
CORR
2009
Springer
14 years 11 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...
105
click to vote
QEST
2006
IEEE
15 years 7 months ago
2006
IEEE
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
119
click to vote
SAFECOMP
2010
Springer
15 years 6 days ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
124
Voted
BMCBI
2007
15 years 1 months ago
2007
Background: A key challenge in metabonomics is to uncover quantitative associations between multidimensional spectroscopic data and biochemical measures used for disease risk asse...
89
Voted
CHI
2011
ACM
14 years 5 months ago
2011
ACM
Despite being an important channel for end-user assistance, few studies have directly investigated the interactions that occur in modern-day practice of software product support. ...