9931 search results - page 17 / 1987 » Generative Modeling by PRISM |
VLDB
1992
ACM
13 years 11 months ago
1992
ACM
This paper evaluates the performance of the parallel, main-memory DBMS, PRISMA/DB. First, an architecture for parallel query execution is presented. A performance model for the ex...
EICS
2009
ACM
13 years 11 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
PROPOR
2012
Springer
12 years 3 months ago
2012
Springer
Fill-in-the-blank questions are one of the main assessment devices in REAP.PT tutoring system. The problem of automatically generating the stems, i.e. the sentences that serve as b...
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
JCS
2006
13 years 7 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...