109 search results - page 20 / 22 » Model Checking Markov Reward Models with Impulse Rewards |
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— We consider the problem of distributing a content of finite size to a group of users connected through an overlay network that is built by a peer-to-peer application. The goal...
ICAC
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents a scalable and self-optimizing architecture for Quality-of-Service (QoS) provisioning in the Differentiated Services (DiffServ) framework. The proposed archite...
IWSOS
2009
Springer
14 years 2 months ago
2009
Springer
In peer-to-peer storage systems, peers can freely join and leave the system at any time. Ensuring high data availability in such an environment is a challenging task. In this paper...
AI
2000
Springer
13 years 10 months ago
2000
Springer
Markov decisionprocesses(MDPs) haveproven to be popular models for decision-theoretic planning, but standard dynamic programming algorithms for solving MDPs rely on explicit, stat...
GLOBECOM
2010
IEEE
13 years 8 months ago
2010
IEEE
In smart grid, a home appliance can adjust its power consumption level according to the realtime power price obtained from communication channels. Most studies on smart grid do not...