5630 search results - page 868 / 1126 » Computability in Specification |
136
click to vote
IJAR
2008
15 years 6 months ago
2008
While quantitative probabilistic networks (QPNs) allow the expert to state influences between nodes in the network as influence signs, rather than conditional probabilities, infer...
144
click to vote
ENTCS
2006
15 years 6 months ago
2006
nary abstract) Jan Friso Groote 1 MohammadReza Mousavi 2 Michel A. Reniers 3 Department of Computer Science, Eindhoven University of Technology (TU/e), P.O. Box 513, NL-5600 MB Ein...
173
click to vote
ENTCS
2006
15 years 6 months ago
2006
XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype imp...
162
click to vote
EOR
2006
15 years 6 months ago
2006
We propose a multivariate statistical framework for regional development assessment based on structural equation modelling with latent variables and show how such methods can be c...
159
click to vote
FMSD
2006
15 years 6 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...