4447 search results - page 61 / 890 » Model Checking Games |
115
click to vote
DAC
1998
ACM
16 years 4 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
121
Voted
IM
2008
15 years 3 months ago
2008
Abstract. Congestion games are a well-studied model for resource sharing among uncoordinated selfish agents. Usually, one assumes that the resources in a congestion game do not hav...
130
click to vote
NETGAMES
2003
ACM
15 years 8 months ago
2003
ACM
Abstract— Multiplayer games become increasingly popular, mostly because they involve interaction among humans. Typically, multiplayer games are organized based on a Client-Server...
120
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we study the role of emotions and expressive behaviour in socially interactive characters employed in educational games. More specifically, on how we can use such e...
148
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper studies a stochastic game theoretic approach to security and intrusion detection in communication and computer networks. Specifically, an Attacker and a Defender take pa...