5718 search results - page 392 / 1144 » Modeling Rule Precision |
170
click to vote
BMAS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
162
click to vote
ENTCS
2007
15 years 6 months ago
2007
The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a...
171
click to vote
IJAR
2002
15 years 6 months ago
2002
In this paper, we study the notion of marginal independence between two sets of variables when uncertainty is expressed by belief functions as understood in the context of the tra...
265
click to vote
AIIA
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...
269
click to vote
ICMT
2011
Springer
14 years 10 months ago
2011
Springer
Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In...