14360 search results - page 501 / 2872 » Time Modeling in MARTE |
182
click to vote
WSC
2004
15 years 8 months ago
2004
Forecasting is of prime importance for accuracy in decision making. For data sets containing high autocorrelations, failure to account for temporal dependence will result in poor ...
191
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
210
click to vote
RISE
2004
Springer
16 years 25 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
266
click to vote
EUROMICRO
2003
IEEE
16 years 23 days ago
2003
IEEE
One of the typical features of distributed systems is the heterogeneity of its components (e.g. geographical spreading and different platform architectures), leading to interopera...
202
click to vote
ECRTS
2004
IEEE
15 years 11 months ago
2004
IEEE
We present a task model for adaptive real-time tasks in which a task's execution rate requirements are allowed to change at any time. The model, variable rate execution (VRE)...