4447 search results - page 250 / 890 » Model Checking Games |
168
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In wireless multicast systems, cooperative multicast has been shown to be effective in dealing with heterogeneous channel conditions and improving the system performance. However,...
136
Voted
FORTE
2008
15 years 6 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
112
Voted
QI
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we explore an extention of the Type Indeterminacy model of decision-making to strategic decision-making. A 2X2 game is investigated. We first show that in a one-sho...
128
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...