Sciweavers

1683 search results - page 103 / 337
» Game Theory Basics
Sort
View
INFOCOM
2003
IEEE
15 years 9 months ago
Nash equilibria of a generic networking game with applications to circuit-switched networks
— A generic mechanism for end-user transmission rate control into a differentiated services Internet is formulated and basic results of corresponding Nash equilibria are proved. ...
Youngmi Jin, George Kesidis
FOSSACS
2010
Springer
15 years 11 months ago
Completeness for Algebraic Theories of Local State
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
Sam Staton
ICSE
2001
IEEE-ACM
15 years 8 months ago
Theory of Software Reliability Based on Components
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
Richard G. Hamlet, David V. Mason, Denise M. Woit
COCO
2007
Springer
75views Algorithms» more  COCO 2007»
15 years 10 months ago
On the Theory of Matchgate Computations
Valiant has proposed a new theory of algorithmic computation based on perfect matchings and Pfaffians. We study the properties of matchgates—the basic building blocks in this n...
Jin-yi Cai, Vinay Choudhary, Pinyan Lu
IAT
2005
IEEE
15 years 10 months ago
Complexity of a theory of collective attitudes in teamwork
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individua...
Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin...