2000 search results - page 23 / 400 » Program Transformation and Proof Transformation |
WCRE
2003
IEEE
14 years 20 days ago
2003
IEEE
TECS
2008
13 years 6 months ago
2008
EJC
2008
13 years 7 months ago
2008
In this paper, the q
ATAL
2000
Springer
13 years 11 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
SETA
2010
Springer
13 years 5 months ago
2010
Springer
In this paper we start developing a detailed theory of nega– Hadamard transforms. Consequently, we derive several results on negabentness of concatenations, and partially-symmetr...