14360 search results - page 48 / 2872 » Time Modeling in MARTE |
CONCUR
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
CSDA
2006
13 years 8 months ago
2006
Time series models of global climate change tend to estimate a low climate-sensitivity (equilibrium effect on global temperature of doubling carbon dioxide concentrations) and a f...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
—BGP allows routers to use general preference policies for route selection. This paper studies the impact of these policies on convergence time. We first describe a real-time mo...
IFM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
