572 search results - page 18 / 115 » Test Generation for Intelligent Networks Using Model Checkin... |
IVA
2009
Springer
14 years 2 months ago
2009
Springer
Expressing spatial information with iconic gestures is abundant in human communication and requires to transform a referent representation into resembling gestural form. This task ...
ENTCS
2008
13 years 7 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
ICDCSW
2000
IEEE
13 years 12 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
CONCUR
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
AMAI
2008
Springer
13 years 7 months ago
2008
Springer
This paper presents and evaluates an approach to Bayesian model averaging where the models are Bayesian nets (BNs). Prior distributions are defined using stochastic logic programs...