2520 search results - page 174 / 504 » Model-checking behavioral programs |
169
click to vote
RSP
2007
IEEE
16 years 1 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
154
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
The standard reflection API of Java provides the ability to introspect a program but not to alter program behavior. This paper presents an extension to the reflection API for addr...
266
click to vote
SAIG
2001
Springer
15 years 11 months ago
2001
Springer
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
177
click to vote
ROBOCUP
1997
Springer
15 years 11 months ago
1997
Springer
In this paper we explain how we applied genetic programming to behavior-based team coordination in the RoboCup Soccer Server domain. Genetic programming is a promising new method f...
172
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...