4447 search results - page 340 / 890 » Model Checking Games |
167
click to vote
DSS
2008
2008
Game-theoretic modeling and control of military operations with partially emotional civilian players
15 years 6 months ago
Civilians are not just passively static but might purposefully take actions to help one side in a battle. Sometimes civilians might directly join one side if they are excessively ...
276
click to vote
SP
2006
IEEE
16 years 21 days ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
232
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...
174
click to vote
WSC
2000
15 years 8 months ago
2000
In this paper, we describe a simulation game designed to quantify the benefits of an enterprise resource planning system coupled with the balanced scorecard framework in an extend...
148
click to vote
TARK
2007
Springer
16 years 24 days ago
2007
Springer
We define a generalized state-space model with interactive unawareness and probabilistic beliefs. Such models are desirable for many potential applications of asymmetric unawaren...