305 search results - page 30 / 61 » A model for quantitative evaluation of an end-to-end questio... |
WOSP
2010
ACM
13 years 8 months ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
ESCIENCE
2007
IEEE
14 years 15 days ago
2007
IEEE
Abstract. We study the implementation on grid systems of an efficient algorithm for demanding global optimization problems. Specifically, we consider problems arising in the geneti...
ESORICS
2006
Springer
14 years 9 days ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
QEST
2009
IEEE
14 years 3 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....