Sciweavers

450 search results - page 42 / 90
» Games with Exhaustible Resources
Sort
View
IJCAI
2007
13 years 9 months ago
Scalable Diagnosability Checking of Event-Driven Systems
Diagnosability of systems is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. Generally, in the l...
Anika Schumann, Yannick Pencolé
ICSE
2009
IEEE-ACM
13 years 5 months ago
VCC: Contract-based modular verification of concurrent C
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...
SECON
2007
IEEE
14 years 2 months ago
Self-Learning Repeated Game Framework for Distributed Primary-Prioritized Dynamic Spectrum Access
Dynamic spectrum access has become a promising approach to fully utilize the scarce spectrum resources. In a dynamically changing spectrum environment, it is very important to desi...
Beibei Wang, Zhu Ji, K. J. Ray Liu
JSAC
2008
115views more  JSAC 2008»
13 years 8 months ago
A Game-Theoretical Study of Robust Networked Systems
This paper analyses the robustness of networked systems from a game-theoretical perspective. Networked systems often consist of several subsystems sharing resources interdependentl...
Chi-Kin Chau
PERCOM
2008
ACM
14 years 7 months ago
A Novel Utility and Game-Theoretic Based Security Mechanism for Mobile P2P Systems
Research on security in Peer-to-Peer (P2P) systems is dominated by reputation-based solutions. These solutions propagate opinions about other peers in order to help identify the b...
Brent Lagesse, Mohan Kumar