675 search results - page 79 / 135 » Using Fairness to Make Abstractions Work |
183
click to vote
CLIMA
2006
15 years 7 months ago
2006
Abstract. The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules...
169
click to vote
SOCO
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
227
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The traditional GA theory is pillared on the Building Block Hypothesis (BBH) which states that Genetic Algorithms (GAs) work by discovering, emphasizing and recombining low order ...
182
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
160
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...