4061 search results - page 614 / 813 » Framework Evolution Tool |
149
click to vote
ENGL
2006
15 years 5 months ago
2006
Hybrid genetic algorithms have received significant interest in recent years and are being increasingly used to solve real-world problems. A genetic algorithm is able to incorporat...
146
Voted
ENTCS
2006
15 years 5 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
130
click to vote
ENTCS
2006
15 years 5 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
176
click to vote
GRID
2006
Springer
15 years 5 months ago
2006
Springer
The use of real-time data streams in data-driven computational science is driving the need for stream processing tools that work within the architectural framework of the larger ap...
106
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Supinterpretations have shown their interest to deal with...