2256 search results - page 136 / 452 » The Modeling for Dynamic Power Management of Embedded System... |
137
click to vote
WOSP
2005
ACM
15 years 7 months ago
2005
ACM
Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on r...
153
click to vote
IPSN
2005
Springer
15 years 7 months ago
2005
Springer
— Environmental energy is an attractive power source for low power wireless sensor networks. We present Prometheus, a system that intelligently manages energy transfer for perpet...
117
Voted
ICS
2010
Tsinghua U.
15 years 14 days ago
2010
Tsinghua U.
Abstract—Power modeling based on performance monitoring counters (PMCs) has attracted the interest of many researchers since it become a quick approach to understand and analyse ...
129
click to vote
CMSB
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
131
click to vote
MIDDLEWARE
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...