76
Voted
COORDINATION
2006
Springer
15 years 16 days ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
91
Voted
ICCAD
1994
IEEE
15 years 28 days ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...