819 search results - page 34 / 164 » Using Assumptions to Distribute CTL Model Checking |
126
click to vote
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
95
Voted
ISVC
2009
Springer
2009
Springer
Probabilistic Facial Feature Extraction Using Joint Distribution of Location and Texture Information
15 years 7 months ago
Abstract. In this work, we propose a method which can extract critical points on a face using both location and texture information. This new approach can automatically learn featu...
82
Voted
HPCC
2009
Springer
15 years 5 months ago
2009
Springer
Compared with lock-based synchronization techniques, Software Transactional Memory (STM) can significantly improve the programmability of multithreaded applications. Existing res...
97
Voted
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
147
Voted
TSE
2011
14 years 7 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...