5200 search results - page 303 / 1040 » Symbolic models for control systems |
156
click to vote
DSVIS
2005
Springer
15 years 11 months ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
178
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Current scientific workflow models require datasets to be transferred from their source to the hosts where they can be processed. This seriously impedes data-intensive application...
181
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic and stochastic events. For such systems, after introducing a suitable hybrid mod...
131
click to vote
ENVSOFT
2010
15 years 6 months ago
2010
Successful composting implies a careful monitoring of the batch process, which includes two phases: active composting and curing. In the first phase, a succession of microbial act...
171
click to vote
SSS
2010
Springer
15 years 3 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...