1554 search results - page 25 / 311 » Testing Polymorphic Behavior |
AIED
2009
Springer
14 years 2 months ago
2009
Springer
Recent years have seen increasing interest in narrative-centered learning environments. However, the same qualities that make them engaging can also introduce seductive details tha...
IJFCS
2006
13 years 8 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
ESORICS
2006
Springer
13 years 12 months ago
2006
Springer
A user who wants to use a service forbidden by their site's usage policy can masquerade their packets in order to evade detection. One masquerade technique sends prohibited tr...
ACRI
2006
Springer
14 years 2 months ago
2006
Springer
The goal of our investigation is to find automatically the absolutely best rule for a moving creature in a cellular field. The task of the creature is to visit all empty cells wi...
AIIDE
2009
13 years 9 months ago
2009
Artificial Intelligence for interactive characters is held back by the difficulty of actually creating those characters. There is a need for intuitive tools which simplify the pro...