14360 search results - page 44 / 2872 » Time Modeling in MARTE |
IIR
2010
13 years 10 months ago
2010
In this work we propose a comparative study of the effects of a continuous model update on the effectiveness of wellknown query recommendation algorithms. In their original formul...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
We define a new transfinite time model of computation, infinite time cellular automata. The model is shown to be as powerful than infinite time Turing machines, both on finite and ...
TRANSCI
2008
13 years 8 months ago
2008
This paper describes the derivation and the econometric calibration of a joint time assignment
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
WCE
2007
13 years 10 months ago
2007
—Building a time series forecasting model by independent component analysis mechanism presents in the paper. Different from using the time series directly with the traditional A...