359 search results - page 17 / 72 » Abstract Patterns of Compositional Reasoning |
ER
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Web services composition is an emerging paradigm for application integration within and across organizational boundaries. A landscape of languages and techniques for web ...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Design patterns are widely-used software engineering abstractions which define guidelines for modeling common application scenarios. Ontology design patterns are the ext...
EVOW
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. A major challenge in computer-generated music is to produce music that sounds natural. This paper introduces NEAT Drummer, which takes steps toward natural creativity. NE...
CONCUR
1994
Springer
14 years 24 days ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
SOCO
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the ...