14642 search results - page 185 / 2929 » It's Time for a Change |
162
click to vote
HYBRID
2007
Springer
16 years 23 days ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
160
click to vote
ADAEUROPE
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
210
Voted
PROMS
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we describe a mechanism for adaptive transmission of multimedia data, which is based on real time protocols. The proposed mechanism can be used for multicast multime...
216
click to vote
SIGMETRICS
2012
ACM
13 years 9 months ago
2012
ACM
In this paper we study the behavior of a continuous time random walk (CTRW) on a stationary and ergodic time varying dynamic graph. We establish conditions under which the CTRW is...
176
click to vote
WINET
2010
15 years 5 months ago
2010
One way to reduce energy consumption in wireless sensor networks is to reduce the number of packets being transmitted in the network. As sensor networks are usually deployed with a...