27274 search results - page 5128 / 5455 » A framework for framework documentation |
182
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
194
click to vote
WAOA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Many online problems encountered in real-life involve a twostage decision process: upon arrival of a new request, an irrevocable firststage decision (the assignment of a...
170
click to vote
WINE
2005
Springer
16 years 4 days ago
2005
Springer
We propose a simple and intuitive cost mechanism which assigns costs for the competitive usage of m resources by n selfish agents. Each agent has an individual demand; demands are...
179
click to vote
WINE
2005
Springer
16 years 4 days ago
2005
Springer
This paper takes the first steps towards designing incentive compatible mechanisms for hierarchical decision making problems involving selfish agents. We call these Stackelberg p...
130
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
There are many situations where an agent can perform one of several sets of actions in responses to changes in its environment, and the agent chooses to perform the set of actions...