12697 search results - page 39 / 2540 » Call for Papers |
153
click to vote
ICPADS
2007
IEEE
16 years 10 days 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...
146
click to vote
ECRTS
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
147
click to vote
WISA
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we, as well as Eskin, Lee, Stolfo [7] propose a method of prediction model. In their method, the program was characterized with both the order and the kind of system...
168
click to vote
ICTL
1994
15 years 10 months ago
1994
This paper presents a temporal belief logic called
170
click to vote
ICLP
2009
Springer
16 years 24 days ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...