5683 search results - page 701 / 1137 » Interactive Schedulability Analysis |
204
click to vote
IANDC
2010
15 years 6 months ago
2010
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
218
click to vote
IEEECIT
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—This paper examines the economics of cloud computing charging from the perspective of a supercomputing resource provider offering its own resources. To evaluate the comp...
183
click to vote
IPL
2010
15 years 6 months ago
2010
In this paper, we look at the time complexity of two agreement problems in networks of oblivious mobile robots, namely, at the gathering and scattering problems. Given a set of ro...
221
click to vote
JUCS
2010
15 years 6 months ago
2010
: It is important for mobile service providers to be aware of user contexts and to provide contextually relevant mobile services to users. Thereby, in this paper, we propose a nove...
167
click to vote
QUESTA
2010
15 years 6 months ago
2010
The M/G/K queueing system is one of the oldest model for multi-server systems, and has been the topic of performance papers for almost half a century. However, even now, only coar...