1554 search results - page 255 / 311 » Testing Polymorphic Behavior |
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
The interaction among particles is a vital aspect of Particle Swarm Optimization. As such, it has a strong influence on the swarm’s success. In this study various approaches re...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
We show how and why using genetic operators that are applied with probabilities that depend on the fitness rank of a genotype or phenotype offers a robust alternative to the Sim...
ACTAC
2008
13 years 7 months ago
2008
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
AR
2008
13 years 7 months ago
2008
Human-like behavior is crucial for intelligent service robots that are to perform versatile tasks in day to day life. In this paper, an integrated approach to human-like manipulat...