Sciweavers

583 search results - page 92 / 117
» On spectrum sharing games
Sort
View
INFOCOM
2006
IEEE
15 years 5 months ago
TCP as an Implementation of Age-Based Scheduling: Fairness and Performance
— We show that different flavors of TCP may be viewed as implementations of age-based scheduling disciplines. By parameterizing the scheduling disciplines of interest we are abl...
Arzad Alam Kherani, Rudesindo Núñez-...
CISS
2008
IEEE
15 years 6 months ago
Equilibria and price of anarchy in parallel relay networks with node pricing
Abstract—We study pricing games in single-layer relay networks where the source routes traffic selfishly according to the strategic bids made by relays. Each relay’s bid incl...
Yufang Xi, Edmund M. Yeh
CSFW
2007
IEEE
15 years 6 months ago
Computationally Sound Mechanized Proofs of Correspondence Assertions
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
Bruno Blanchet
AAAI
2007
15 years 2 months ago
A Logical Theory of Coordination and Joint Ability
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
Hojjat Ghaderi, Hector J. Levesque, Yves Lesp&eacu...
CANDC
2005
ACM
15 years 1 months ago
Constructed narratives a tangible social interface
Constructed Narratives is a tangible social interface designed for use in public spaces where people have the opportunity to encounter the game and subsequently learn about each o...
Pamela Jennings