914 search results - page 11 / 183 » Descriptions of Game Actions |
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
118
Voted
FDL
2011
IEEE
14 years 1 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
Dynamic software visualization should provide a programmer with insights as to what the program is doing. Most current dynamic visualizations either use program traces to show inf...
DLOG
2007
15 years 4 months ago
2007
AMAI
2007
Springer
15 years 1 months ago
2007
Springer
