3233 search results - page 180 / 647 » Rule Modeling and Markup |
127
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We discuss a membrane-based calculus for the combination of conceptual spaces during runtime. Since our goal is to support emergent properties of behavior (and due to the...
132
click to vote
FUIN
2008
15 years 4 months ago
2008
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
109
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Communities of autonomous units are devices to model the interaction of independent processes in a rule-based and graphical way. In this paper, the framework is proposed to descr...
173
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...
161
click to vote
ACRI
2008
Springer
15 years 10 months ago
2008
Springer
In several cases, the DNA sequences of an organism are available in different stages of its evolution and it is desirable to reconstruct the DNA sequence in a previous evolution st...