10038 search results - page 500 / 2008 » Model Checking for Managers |
168
click to vote
EUROSYS
2009
ACM
16 years 4 months ago
2009
ACM
Managing the power consumption of computing platforms is a complicated problem thanks to a multitude of hardware configuration options and characteristics. Much of the academic r...
207
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The ability to proactively offer assistance promises to make personal agents more helpful to their users. We characterize the properties desired of proactive behaviour by a person...
214
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Many organizations pursue knowledge management (KM) initiatives, with different degrees of success. One key aspect of KM often neglected in practice is that it not only concerns t...
187
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Control theory is a well established discipline that has emerged from aeronautical, electrical, and mechanical engineering to provide a formal approach to building robust systems....
190
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we consider the system-wide energy management problem for a set of periodic real-time tasks running on a DVS-enabled processor. Our solution uses a generalized powe...