5180 search results - page 271 / 1036 » Concurrency, Time, and Constraints |
162
click to vote
FGCN
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a real time scheduling policy over 802.11 DCF protocol called Deadline Monotonic (DM). We evaluate the performance of this policy for a simple scenario w...
167
click to vote
ICPADS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a real time scheduling policy over 802.11 DCF protocol called Deadline Monotonic (DM). We evaluate the performance of this policy for a simple scenario w...
153
click to vote
FSEN
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
149
click to vote
ISCAS
2006
IEEE
16 years 22 days ago
2006
IEEE
— Violations in the timing constraints of a clocked register can cause a synchronous system to malfunction. The effects of variations in the power supply voltage (VDD) on the tim...
177
click to vote
FSTTCS
2004
Springer
16 years 3 days ago
2004
Springer
Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability priced timed game automata and prove ...