7557 search results - page 463 / 1512 » Modeling Timed Concurrent Systems |
294
Voted
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
We are interested in capturing time series generated by small wireless electronic sensors. Battery-operated sensors must avoid heavy use of their wireless radio which is a key cau...
174
click to vote
FORMATS
2007
Springer
16 years 1 months 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...
191
Voted
WDAG
2007
Springer
16 years 29 days ago
2007
Springer
We study adaptive routing algorithms in a round-based model. Suppose we are given a network equipped with load-dependent latency functions on the edges and a set of commodities eac...
167
Voted
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...
190
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 ...