14360 search results - page 43 / 2872 » Time Modeling in MARTE |
FTCS
1998
13 years 10 months ago
1998
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
SAC
2002
ACM
13 years 8 months ago
2002
ACM
This article shows how a non-decimated wavelet packet transform (NWPT) can be used to model a response time series,
CONCUR
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
DSN
2002
IEEE
14 years 1 months ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...
ISORC
2008
IEEE
14 years 3 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...