14360 search results - page 50 / 2872 » Time Modeling in MARTE |
ICFEM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
MMMACNS
2005
Springer
14 years 2 months ago
2005
Springer
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with both subjects...
DATE
1998
IEEE
14 years 1 months ago
1998
IEEE
Despite its importance, we find that a rigorous theoretical foundation for performing timing analysis has been lacking so far. As a result, we have initiated a research project th...
ECIS
2000
13 years 10 months ago
2000
This paper proposes the use of advanced knowledge models to support real time decision for management problems as an adequate response to the current needs and technology. The new ...
DAC
2007
ACM
14 years 9 months ago
2007
ACM
It is known that ramp-based models are not sufficient for accurate timing modeling. In this paper, we develop a technique that accurately models the waveforms, and also allows a f...