2639 search results - page 85 / 528 » Biological Systems as Reactive Systems |
149
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
133
click to vote
ENTCS
2006
15 years 4 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...
146
click to vote
ENTCS
1998
15 years 4 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
141
click to vote
ENTCS
1998
15 years 4 months ago
1998
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
118
click to vote
FOCI
2007
IEEE
15 years 10 months ago
2007
IEEE
— The concept of degeneracy in biology, including the immune system, is well accepted and has been demonstrated to be present at many different levels. We explore this concept fr...