14360 search results - page 337 / 2872 » Time Modeling in MARTE |
91
Voted
ENTCS
2007
15 years 21 days ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
94
Voted
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
Existing static timing analyzers make several assumptions about circuits, implicitly trading off accuracy for speed. In this paper we examine the validity of these assumptions, no...
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper we describe a method for bridging internet time delays in a teleoperation scenario. In the scenario, the sizes of the time delays is not only stochastic, but it i...
113
Voted
IDA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This work aims to improve an existing time series forecasting algorithm –LBF– by the application of frequent episodes techniques as a complementary step to the model....
126
Voted
TAMC
2009
Springer
15 years 7 months ago
2009
Springer
Priced Probabilistic Timed Automata (PPTA) extend timed automata with cost-rates in locations and discrete probabilistic branching. The model is a natural combination of Priced Tim...