132 search results - page 5 / 27 » Safraless Compositional Synthesis |
130
Voted
WWW
2005
ACM
15 years 7 months ago
2005
ACM
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
120
click to vote
INFORMATICALT
2007
15 years 1 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
126
click to vote
LOPSTR
1998
Springer
15 years 5 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...
115
click to vote
AR
2006
15 years 1 months ago
2006
In this paper the control of exible joint manipulators is studied in detail. The model of N{axis exible joint manipulators are derived and reformulated in the form of singular per...