5353 search results - page 244 / 1071 » Modelling Contexts in the Or-BAC Model |
159
click to vote
VOSS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
171
click to vote
AP2PC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper, we propose a Bayesian network-based trust model in peerto-peer networks. Since trust is multi-faceted, even in the same context, peers still need to develo...
170
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
136
Voted
AI
2007
Springer
15 years 10 months ago
2007
Springer
Different types of rules are mined from transaction databases often with the goal of improving sales and services. In this paper, we link the interestingness of rules with the cont...
204
click to vote
CSFW
1995
IEEE
15 years 10 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...