798 search results - page 121 / 160 » Dynamic Power Management with Hybrid Power Sources |
USENIX
2004
15 years 1 months ago
2004
OKWS is a toolkit for building fast and secure Web services. It provides Web developers with a small set of tools that has proved powerful enough to build complex systems with lim...
123
click to vote
JNW
2008
14 years 11 months ago
2008
The distributed nature of peer-to-peer networks offers a solid ground for the deployment of environments where multiple agents, managing several resources, can cooperate in pursuin...
103
click to vote
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
CCS
2010
ACM
14 years 10 months ago
2010
ACM
In this paper, we propose PriMa (Privacy Manager), a privacy protection mechanism which supports semi-automated generation of access rules for users’ profile information. PriMa...
JUCS
2010
14 years 10 months ago
2010
: The availability of applications able to exploit multi-device environments is steadily increasing. Rather than using all devices in the same way, users tend to assign different r...