97 search results - page 20 / 20 » Computing Stable and Partial Stable Models of Extended Disju... |
CORR
2008
Springer
13 years 5 months ago
2008
Springer
This paper studies the effects of introducing altruistic agents into atomic congestion games. Altruistic behavior is modeled by a trade-off between selfish and social objectives. ...
TPHOL
2007
IEEE
14 years 2 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...