10790 search results - page 1807 / 2158 » Using feature models to automate model transformations |
170
click to vote
IEEESCC
2005
IEEE
16 years 7 days ago
2005
IEEE
The paradigm of automated e-service composition through the integration of existing services promises a fast and efficient development of new services in cooperative business env...
157
Voted
LPNMR
2005
Springer
16 years 4 days ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
189
click to vote
LPNMR
2005
Springer
16 years 4 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
180
click to vote
CSL
2004
Springer
16 years 1 days ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
196
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...