5904 search results - page 230 / 1181 » Requirements for a Composition Language |
138
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...
104
click to vote
ESANN
2008
15 years 5 months ago
2008
In this paper we propose an extension of sequence kernels to the case where the symbols that define the sequences have multiple representations. This configuration occurs in natura...
144
Voted
JLP
2008
15 years 4 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
132
click to vote
FOSSACS
2011
Springer
14 years 7 months ago
2011
Springer
We describe a general decomposition mechanism to express the derivation relation of a word rewriting system R as the composition of a (regular) substitution followed by the derivat...
168
click to vote
ITSSA
2006
15 years 4 months ago
2006
: This paper investigates the use of the Business Process Execution Language for Web services (BPEL4WS/ BPEL) for managing scientific workflows. The complexity, unpredictability an...