68 search results - page 14 / 14 » The Delft-Java Engine: An Introduction |
188
Voted
ISORC
2005
IEEE
16 years 11 days ago
2005
IEEE
Adaptation to changing environmental conditions is a major challenge for most distributed applications. The service-oriented programming paradigm leads to an increasing number of ...
299
Voted
UPP
2004
Springer
16 years 3 days ago
2004
Springer
Evolving solutions rather than computing them certainly represents an unconventional programming approach. The general methodology of evolutionary computation has already been know...
244
Voted
ICSE
2007
IEEE-ACM
16 years 28 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...