Sciweavers

4447 search results - page 290 / 890
» Model Checking Games
Sort
View
PRESENCE
2000
55views more  PRESENCE 2000»
15 years 6 months ago
A Model to Support the Design of Multiplayer Games
José Pablo Zagal, Miguel Nussbaum, Ricardo ...
TCS
2002
15 years 6 months ago
Innocent game models of untyped lambda-calculus
Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong
127
Voted
MONET
2010
85views more  MONET 2010»
15 years 5 months ago
A Secure Mechanism Design-Based and Game Theoretical Model for MANETs
Abderrezak Rachedi, Abderrahim Benslimane, Hadi Ot...
108
Voted
ICAART
2009
INSTICC
15 years 4 months ago
Integration of an Emotion Model to the Board Game "Intrige"
Jan-Marc Ehrmann, Andreas D. Lattner, Gabriela Lin...