6201 search results - page 380 / 1241 » Implementation of Axiomatic Language |
205
click to vote
SAC
2003
ACM
16 years 3 days ago
2003
ACM
DICE (DIstributed Constraint Environment) is a framework for the construction of distributed constraint solvers from software components in a number of predefined categories. The...
179
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
179
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper compares the performance of the program evaluation phase of genetic programming using C and Common Lisp. A simple experiment is conducted, and the conclusion is that ge...
172
click to vote
WSCG
2000
15 years 8 months ago
2000
The most remarkable trends in communication have been the huge popularity of Internet and the growth of digital cellular telephony usage. There is a strong demand to combine these...
232
click to vote
AOSD
2003
ACM
16 years 3 days ago
2003
ACM
In this paper we introduce a novel aspect oriented implementation language, called JAsCo. JAsCo is tailored for component based development and the Java Beans component model in p...