2520 search results - page 227 / 504 » Model-checking behavioral programs |
214
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...
180
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
We describe the first instance of an approach for control programming of humanoid robots, based on evolution as the main adaptation mechanism. In an attempt to overcome some of th...
179
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this work, we employed genetic programming to evolve a "white hat" attacker; that is to say, we evolve variants of an attack with the objective of providing better de...
173
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
187
click to vote
WCE
2007
15 years 7 months ago
2007
— Software testing is a perennial problem, consequently it scores scant attention. An inclusion to testing challenges is aspect-oriented paradigm, which has a dichotomy of core a...