585 search results - page 39 / 117 » Strategy Logic |
129
click to vote
IAT
2009
IEEE
15 years 5 months ago
2009
IEEE
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
126
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
133
click to vote
CIE
2010
Springer
15 years 6 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
128
Voted
DLOG
2009
14 years 11 months ago
2009
Abstract. Multi-attribute negotiation has been extensively studied from a gametheoretic viewpoint. In negotiation settings, utility functions are used to express agent preferences....
110
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—We explore the design of a logically centralized but physically distributed control plane for 4D architecture. 4D architecture proposes centralization of network-wide decision m...