1664 search results - page 266 / 333 » Making a Case for Multi-Agent Systems |
96
Voted
OSDI
2002
ACM
16 years 26 days ago
2002
ACM
In this paper we demonstrate the benefits of application involvement in operating system power management. We present Coop-I/O, an approach to reduce the power consumption of devi...
IMC
2006
ACM
15 years 6 months ago
2006
ACM
An important stage of wide-area systems and networking research is to prototype a system to understand its performance when deployed in the real Internet. A key requirement of pro...
125
Voted
SACMAT
2006
ACM
15 years 6 months ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
119
click to vote
VEE
2006
ACM
15 years 6 months ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...
97
Voted
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...