34229 search results - page 458 / 6846 » Power-aware computing systems |
193
click to vote
SP
2010
IEEE
15 years 11 months ago
2010
IEEE
The computer systems security arms race between attackers and defenders has largely taken place in the domain of software systems, but as hardware complexity and design processes ...
189
click to vote
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
262
click to vote
COMPSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
169
Voted
CIA
2006
Springer
15 years 11 months ago
2006
Springer
We present a mechanism for collaboration and coordination amongst agents in multi-agent societies seeking social equity. This mechanism allows to compute egalitarian allocations of...
203
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
This work presents a best-first anytime algorithm for computing optimal coalition structures. The approach is novel in that it generates coalition structures based on coalition va...