2231 search results - page 134 / 447 » Alternation as a programming paradigm |
121
click to vote
HLPPP
1991
15 years 7 months ago
1991
Gamma was originally proposed in 1986 as a formalism for the de nition of programs without arti cial sequentiality. The basic idea underlying the formalism is to describe computati...
173
click to vote
SIGMOD
2012
ACM
13 years 6 months ago
2012
ACM
Big data is the tar sands of the data world: vast reserves of raw gritty data whose valuable information content can only be extracted at great cost. MapReduce is a popular parall...
157
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the development of an evolutionary algorithm called Multipopulation Cooperative Coevolutionary Programming (MCCP) that extends Genetic Programming (GP) to sea...
116
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Despite the automated refactoring support provided by today's IDEs many program transformations that are easy to conceptualize-such as improving the implementation of a desig...
124
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...