11740 search results - page 2170 / 2348 » More Problems in Rewriting |
168
Voted
SIGMETRICS
2005
ACM
15 years 11 months ago
2005
ACM
To bridge the increasing processor-disk performance gap, buffer caches are used in both storage clients (e.g. database systems) and storage servers to reduce the number of slow di...
155
click to vote
SOUPS
2005
ACM
15 years 11 months ago
2005
ACM
In our research, we have been concerned with the question of how to make relevant features of security situations visible to users in order to allow them to make informed decision...
148
click to vote
STOC
2005
ACM
15 years 11 months ago
2005
ACM
This paper focuses on competitive function evaluation in the context of computing with priced information. A function f is given together with a cost cx for each variable x of f. ...
154
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This paper focuses on a framework for representing a team plan and its projections on individual agents. The team plan is represented with a coloured Petri net. Using the implicit...
177
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...