4755 search results - page 466 / 951 » An Implementation Model for Collaborative Applications |
151
click to vote
ENTCS
2008
15 years 5 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
203
click to vote
IESS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Embedded system design complexities are growing exponentially. Demand has increased for modeling techniques that can provide both accurate measurements of delay and fast ...
200
click to vote
IFIP
2010
Springer
14 years 12 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
130
click to vote
IMSCCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Ensemble Kalman Filter (EnKF) uses a randomized ensemble of subsurface models for error and uncertainty estimation. However, the complexity of geological models and the requiremen...
149
Voted
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper presents an adaptive causal model method (adaptive CMM) for fault diagnosis and recovery in complex multi-robot teams. We claim that a causal model approach is effec...