10038 search results - page 476 / 2008 » Model Checking for Managers |
207
click to vote
CIA
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose a probabilistic framework targeting three important issues in the computation of quality and trust in decentralized systems. Specifically, our approach a...
213
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Many different access control policies and models have been developed to suit a variety of goals; these include Role-Based Access Control, One-directional Information Flo...
177
click to vote
ASWEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
209
click to vote
SEDE
2010
15 years 4 months ago
2010
New emerging scientific applications in geosciences, sensor and spatio-temporal domains require adaptive analysis frameworks that can handle large datasets with multiple dimension...
206
click to vote
ISSTA
1998
ACM
15 years 11 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...