506 search results - page 58 / 102 » Where Is the Value in a Program Verifier |
146
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
We present the result of our work on use of genetic programming for evolving social behavior of agents situated in inherently cooperative environment. We use predators-prey pursuit...
117
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we enhance the SOFA Component Description Language with a semantic description of a component's functionality. There are two key requirements this description a...
130
click to vote
TPHOL
2000
IEEE
15 years 7 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
139
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
137
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Dictionary code compression is a technique where long instructions in the memory are replaced with shorter code words used as index in a table to look up the original instructions...