600 search results - page 82 / 120 » An Extended Interpreted System Model for Epistemic Logics |
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Many decision systems rely on a precisely known Markov Chain model to guarantee optimal performance, and this paper considers the online estimation of unknown, nonstationary Ma...
118
click to vote
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
RISE
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
106
click to vote
FORMATS
2004
Springer
15 years 3 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 ...
WM
2003
14 years 11 months ago
2003
: One of today’s hottest IT topics is integration, as bringing together information from different sources and structures is not completely solved. The approach outlined here wan...