4447 search results - page 307 / 890 » Model Checking Games |
219
click to vote
STOC
2003
ACM
16 years 7 months ago
2003
ACM
We introduce a simple network design game that models how independent selfish agents can build or maintain a large network. In our game every agent has a specific connectivity requ...
250
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
This paper investigates the impacts of individual egoistic and altruistic behaviors in a virtual society built upon the Vidya game, used here as the social simulation and Multiage...
265
click to vote
GLOBECOM
2009
IEEE
15 years 5 months ago
2009
IEEE
Primary user emulation attack in multichannel cognitive radio systems is discussed. An attacker is assumed to be able to send primary-user-like signals during spectrum sensing peri...
192
click to vote
ACSD
2005
IEEE
16 years 1 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
195
click to vote
AMAST
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...