Sciweavers

209 search results - page 40 / 42
» A Primer on Strategic Games
Sort
View
ATAL
2010
Springer
13 years 9 months ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga
ANOR
2008
116views more  ANOR 2008»
13 years 9 months ago
Coordination mechanisms for inventory control in three-echelon serial and distribution systems
Abstract This paper is concerned with the coordination of inventory control in threeechelon serial and distribution systems under decentralized control. All installations in these ...
Henk Zijm, Judith Timmer
CORR
2006
Springer
83views Education» more  CORR 2006»
13 years 9 months ago
An unlikely result
What happens to a dictator once he is out of power is not just a matter of justice or a random result. Using game theory we show that post-power scenarios depend largely on two fac...
A. N. Other
TCS
2008
13 years 9 months ago
Scheduling to maximize participation
We study a problem of scheduling client requests to servers. Each client has a particular latency requirement at each server and may choose either to be assigned to some server in ...
Ioannis Caragiannis, Christos Kaklamanis, Panagiot...
INFOCOM
2011
IEEE
13 years 1 months ago
On adaptive-width channel allocation in non-cooperative, multi-radio wireless networks
—Due to the limitation of radio spectrum resource and fast growing of wireless applications, careful channel allocation is highly needed to mitigate the performance degradation o...
Fan Wu, Nikhil Singh, Nitin H. Vaidya, Guihai Chen