1134 search results - page 161 / 227 » Distributed Proving in Access-Control Systems |
121
click to vote
SIGMETRICS
2005
ACM
15 years 8 months ago
2005
ACM
We define the class of SMART scheduling policies. These are policies that bias towards jobs with small remaining service times, jobs with small original sizes, or both, with the ...
123
click to vote
TCS
2008
15 years 2 months ago
2008
Mobile sensors can self-deploy in a purely decentralized and distributed fashion, so to reach in finite time a state of static equilibrium in which they cover uniformly the enviro...
103
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
We derive optimal bidding strategies for a global bidding agent that participates in multiple, simultaneous second-price auctions with perfect substitutes. We first consider a mo...
105
click to vote
BC
1998
15 years 2 months ago
1998
In homing tasks, the goal is often not marked by visible objects but must be inferred from the spatial relation to the visual cues in the surrounding scene. The exact computation o...
228
click to vote
POPL
2001
ACM
16 years 3 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...