10707 search results - page 455 / 2142 » Designing executable abstractions |
130
click to vote
AIPS
1996
15 years 7 months ago
1996
Weintroduce a method of deduction-based refinement planning where prefabricated general solutions are adapted to special problems. Refmementproceeds by stepwise transforming nonco...
173
click to vote
ICA3PP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. A grid checkpointing service providing migration and transparent fault tolerance is important for distributed and parallel applications executed in heterogeneous grids. I...
171
click to vote
JNW
2008
15 years 6 months ago
2008
Web services paradigm is allowing applications to electronically interact with one another over the Internet. The business process execution language (BPEL) takes this ion to a hig...
128
click to vote
IIE
2007
15 years 6 months ago
2007
Abstract. A reversible sequence of steps from the specification of the algorithm and the mathematical definition of the recurrent solution through the recursive procedure, the ta...
141
click to vote
SAB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Population of simulated agents controlled by dynamical neural networks are trained by artificial evolution to access linguistic instructions and to execute them by indic...