914 search results - page 11 / 183 » Descriptions of Game Actions |
ECAI
2010
Springer
13 years 8 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...
FDL
2011
IEEE
12 years 7 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
14 years 7 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
13 years 10 months ago
2007
AMAI
2007
Springer
13 years 7 months ago
2007
Springer
