14360 search results - page 215 / 2872 » Time Modeling in MARTE |
ATVA
2005
Springer
14 years 3 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
ASMTA
2009
Springer
14 years 2 months ago
2009
Springer
Discrete stochastic models (DSM) are widely used in various application fields today. Proxel-based simulation can outperform discrete event-based approaches in the analysis of smal...
FORMATS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
ICTCS
2001
Springer
14 years 2 months ago
2001
Springer
In this paper we study the job shop scheduling problem under the assumption that the jobs have controllable processing times. The fact that the jobs have controllable processing t...
IJCNN
2006
IEEE
14 years 4 months ago
2006
IEEE
— We consider the regression problem for financial time series. Typically, financial time series are non-stationary and volatile in nature. Because of its good generalization p...