4962 search results - page 324 / 993 » Stochastic Model Checking |
154
click to vote
INFORMATICALT
2011
14 years 10 months ago
2011
This paper presents a study of the Hurst index estimation in the case of fractional Ornstein–Uhlenbeck and geometric Brownian motion models. The performance of the estimators is ...
103
click to vote
WSC
2007
15 years 5 months ago
2007
Copulas are used in finance and insurance for modeling stochastic dependency. They comprehend the entire dependence structure, not only the correlations. Here they are estimated ...
102
click to vote
WSC
2000
15 years 4 months ago
2000
Analysis of network traffic indicates that packet arrival processes have significant stochastic dependence. It has been suggested that this dependence is so strong as to be wellmo...
103
Voted
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
112
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...