2520 search results - page 174 / 504 » Model-checking behavioral programs |
147
click to vote
RSP
2007
IEEE
16 years 17 days 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...
141
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...
255
click to vote
SAIG
2001
Springer
15 years 10 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...
164
click to vote
ROBOCUP
1997
Springer
15 years 10 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...
157
Voted
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...