348 search results - page 25 / 70 » Behaviour Model Synthesis from Properties and Scenarios |
123
Voted
EON
2008
15 years 3 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
108
click to vote
GEM
2010
14 years 12 months ago
2010
Complex systems such as termite colonies have a macroscopically rich set of emergent behaviours that are thought to emerge solely from microscopic and simple individual agent beha...
128
click to vote
ICIP
2005
IEEE
15 years 7 months ago
2005
IEEE
Infinitely divisible cascades (IDC) were first introduced in one dimension to provide multifractal time series to model the so-called intermittency phenomenon in hydrodynamical ...
173
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
138
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...