1284 search results - page 175 / 257 » On Helping and Interactive Proof Systems |
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
ICIDS
2009
Springer
14 years 4 months ago
2009
Springer
Storytelling games are a form of competitive storytelling framed in the context of gameplay. However, most existing storytelling games emphasize competitive gameplay and winning at...
CANDC
2009
ACM
14 years 4 months ago
2009
ACM
Creativity is an important ingredient in problem solving, and problem solving is an important activity for both individuals and societies. This paper discusses our novel approach ...
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
IPCCC
2007
IEEE
14 years 4 months ago
2007
IEEE
Tuning the performance of applications requires understanding the interactions between code and target architecture. This paper describes a performance modeling approach that not ...