1453 search results - page 95 / 291 » State and history in operating systems |
78
Voted
CHI
2004
ACM
16 years 28 days ago
2004
ACM
Although engineering models of user behavior have enjoyed a rich history in HCI, they have yet to have a widespread impact due to the complexities of the modeling process. In this...
ICMCS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this digital era, digital multimedia contents are often transmitted over networks without any protection. This raises serious security concerns since the receivers/subscribers ...
100
Voted
IEEEPACT
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents an energy management policy for reconfigurable clusters running a multi-tier application, exploiting DVS together with multiple sleep states. We develop a the...
164
click to vote
HICSS
2012
IEEE
13 years 8 months ago
2012
IEEE
The concept of interoperability of data and model as presented in this paper is viewed as being very useful for implementing variety of future applications related to power system...
123
click to vote
DFG
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...