4962 search results - page 336 / 993 » Stochastic Model Checking |
113
Voted
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
With the gradual adoption of publish/subscribe systems in mission critical areas, it is essential that systems are subjected to rigorous performance analysis before they are put in...
123
Voted
ASIAN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
123
click to vote
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...
115
click to vote
HICSS
2000
IEEE
15 years 7 months ago
2000
IEEE
In the first part of the paper, daily price data for the past three summer seasons in the PJM wholesale market are used to estimate a stochastic regime switching model. These data...
136
Voted
IH
1999
Springer
15 years 7 months ago
1999
Springer
This paper presents a new stochastic approach which can be applied with di erent watermark techniques. The approach is based on the computation of a Noise Visibility Function NVF ...