6308 search results - page 268 / 1262 » Modeling Urgency in Timed Systems |
160
click to vote
FSEN
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
180
click to vote
APN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...
181
click to vote
VALUETOOLS
2006
ACM
16 years 16 days ago
2006
ACM
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...
163
click to vote
RTSS
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
189
click to vote
ECRTS
2003
IEEE
15 years 12 months ago
2003
IEEE
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...