6308 search results - page 253 / 1262 » Modeling Urgency in Timed Systems |
167
click to vote
FORMATS
2007
Springer
16 years 22 days ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
157
click to vote
SSD
2001
Springer
15 years 11 months ago
2001
Springer
The notion of time granularity comes into play in a variety of problems involving time representation and management in database applications, including temporal database design, t...
186
click to vote
WSC
2008
15 years 9 months ago
2008
This paper studies the problem of real time yard crane dispatching in container terminals. Many technologies, including transponders, RFID and GPS have been used in the container ...
159
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
181
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
Existing content-based publish/subscribe systems are designed assuming that all matching publications are equally relevant to a subscription. As we cannot know in advance the dist...