5353 search results - page 276 / 1071 » Modelling Contexts in the Or-BAC Model |
185
Voted
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
172
click to vote
KDD
2001
ACM
16 years 7 months ago
2001
ACM
We consider prediction-model evaluation in the context of marketing-campaign planning. In order to evaluate and compare models with specific campaign objectives in mind, we need t...
159
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...
179
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Near field communication (NFC) is a short-range wireless protocol that allows users to connect devices and access content and services by simply holding enabled devices near each ...
159
click to vote
DCC
2003
IEEE
16 years 6 months ago
2003
IEEE
The Prediction by Partial Matching (PPM) algorithm uses a cumulative frequency count of input symbols in different contexts to estimate their probability distribution. Excellent c...