1788 search results - page 18 / 358 » Model Theory for Process Algebra |
114
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
94
Voted
KES
2004
Springer
15 years 5 months ago
2004
Springer
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
122
Voted
JSS
2010
14 years 7 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
133
click to vote
UML
2005
Springer
15 years 6 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...