5904 search results - page 395 / 1181 » Requirements for a Composition Language |
189
click to vote
FOSSACS
2005
Springer
16 years 14 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
179
click to vote
GPCE
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
174
click to vote
EMISA
2004
Springer
16 years 10 days ago
2004
Springer
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
231
click to vote
GRID
2004
Springer
16 years 10 days ago
2004
Springer
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...
164
click to vote
ICALP
2004
Springer
16 years 10 days ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...