2520 search results - page 107 / 504 » Model-checking behavioral programs |
81
Voted
APSEC
1999
IEEE
15 years 5 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
88
Voted
ISMIS
2000
Springer
15 years 4 months ago
2000
Springer
A good deal of progress has been made in the past few years in the design and implementation of control programs for autonomous agents. A natural extension of this work is to consi...
113
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Accurately predicting program behaviors (e.g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of...
126
Voted
GECCO
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents the emergence of the cooperative behavior for multiple agents by means of Genetic Programming (GP). For the purpose of evolving the effective cooperative behav...
122
Voted
VL
2003
IEEE
15 years 6 months ago
2003
IEEE
End-user programmers are writing an unprecedented number of programs, due in large part to the significant effort put forth to bring programming power to end users. Unfortunately,...