1757 search results - page 49 / 352 » Alternating Refinement Relations |
CMSB
2006
Springer
15 years 4 months ago
2006
Springer
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
100
Voted
DAGM
2006
Springer
15 years 4 months ago
2006
Springer
Dense depth maps can be estimated in a Bayesian sense from multiple calibrated still images of a rigid scene relative to a reference view [1]. This well-established probabilistic f...
114
Voted
ECOOP
1995
Springer
15 years 4 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
104
Voted
SPLC
2004
15 years 1 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
97
Voted
PROCOMET
1998
15 years 1 months ago
1998
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...