2152 search results - page 80 / 431 » An Abstract Account of Composition |
164
click to vote
ASWEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Incorporating components from a number of different sources into a given application is generally considered to be a non-trivial activity. Over the years, various coordination mec...
165
click to vote
LOPSTR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...
181
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The configuration of Web services is particularly hard given the heterogeneous, unreliable and open nature of the Web. Furthermore, such composite Web services are likely...
194
click to vote
WOLLIC
2009
Springer
16 years 29 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
195
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based inter...