47 search results - page 4 / 10 » Ludics Nets, a game Model of Concurrent Interaction |
FSTTCS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
FCS
2006
13 years 9 months ago
2006
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
WSC
2004
13 years 9 months ago
2004
With the properties of autonomy, social ability, reactivity and pro-activeness, agents can be used to represent entities in distributed simulations, where fast and accurate decisi...
INFOCOM
2002
IEEE
14 years 18 days ago
2002
IEEE
— We study a priority service where users are free to choose the priority of their traffic, but are charged accordingly by the network. We assume that each user chooses prioriti...
CISC
2009
Springer
13 years 5 months ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...