2171 search results - page 220 / 435 » Cooperative Validation in Distributed Control Systems Design |
154
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...
129
click to vote
DCC
2008
IEEE
16 years 4 months ago
2008
IEEE
This paper considers the problem of distributed scalable coding of correlated sources that are communicated to a central unit. The general setting is typically encountered in sens...
167
click to vote
ASWSD
2004
Springer
15 years 10 months ago
2004
Springer
– A safety-critical real-time computer system must provide its services with a dependability that is much better than the dependability of any one of its constituent components. ...
149
click to vote
RTSS
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
124
click to vote
CW
2006
IEEE
15 years 11 months ago
2006
IEEE
Currently, in the development of business applications, difficulties occasionally arise between the customer side and the supplier side, causing delays and higher development cost...