7103 search results - page 13 / 1421 » Program Generation and Components |
IFIP
2004
Springer
14 years 28 days ago
2004
Springer
: Despite the growing interest in Interactive Storytelling (IS), there have been only a small number of implemented demonstrators and few have attempted at developing a re-usable I...
LOPSTR
2007
Springer
14 years 1 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
ICSOC
2010
Springer
13 years 6 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
ESEC
1995
Springer
13 years 11 months ago
1995
Springer
SAC
2010
ACM
14 years 20 days ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...