2521 search results - page 106 / 505 » Semantic Component Composition |
104
click to vote
FUIN
2008
15 years 3 months ago
2008
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...
176
click to vote
LCPC
1992
Springer
15 years 7 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
135
click to vote
FOSSACS
2012
Springer
13 years 11 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
ENTCS
2007
15 years 3 months ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
119
click to vote
ECOWS
2006
Springer
15 years 5 months ago
2006
Springer
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...