4890 search results - page 290 / 978 » From system specifications to component behavioral models |
171
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
In this paper, the problem concerning how to coordinate the contributions from concurrent controllers, when controlling mobile robots, is investigated. It is shown how a behavior ...
179
click to vote
BIB
2008
15 years 6 months ago
2008
Quantitative models of biochemical networks (signal transduction cascades, metabolic pathways, gene regulatory circuits) are a central component of modern systems biology. Buildin...
193
click to vote
DSVIS
2003
Springer
15 years 12 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
151
click to vote
SIAMMA
2010
15 years 1 months ago
2010
This paper is concerned with a system that couples the incompressible Navier-Stokes equations to the Vlasov-Fokker-Planck equation. Such a system arises in the modeling of sprays,...
192
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
In recent years, many systems and approaches for recommending information, products or other objects have been developed. In these systems, often machine learning methods that nee...