61 search results - page 8 / 13 » Modeling Software Evolution with Game Theory |
ATAL
2010
Springer
15 years 23 days ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
110
click to vote
ENTCS
2010
14 years 11 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
119
click to vote
KBSE
1995
IEEE
15 years 3 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
81
Voted
ICFEM
2009
Springer
15 years 6 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
106
click to vote
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
— We study the evolution of cooperation using the Prisoner’s Dilemma as a metaphor of the tensions between cooperators and non-cooperators, and evolutionary game theory as the ...