4642 search results - page 719 / 929 » Distributed algorithm and reversible network |
132
click to vote
FMICS
2009
Springer
15 years 9 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
SETN
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we propose an automatic mechanism for annotating XML documents. This mechanism relies on a simple data model whose main features are: (1) a modeling of XML documents ...
110
click to vote
FORMATS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
108
click to vote
WICON
2008
15 years 4 months ago
2008
We present a fluid flow model to analyze backlog-based CSMA policies. The model is obtained using a CSMA fixed point approximation that has been recently proposed and analyzed. We...
131
click to vote
IJAR
2008
15 years 2 months ago
2008
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider g...