1173 search results - page 19 / 235 » On the Compositionality of Round Abstraction |
PERCOM
2010
ACM
13 years 8 months ago
2010
ACM
Abstract—Service composition schemes create high-level application services by combining several basic services. Service composition schemes for dynamic, open systems, such as th...
ICDE
2006
IEEE
14 years 3 months ago
2006
IEEE
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
ACTA
2004
13 years 9 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
ENTCS
2002
13 years 9 months ago
2002
Building on the work of architectural description languages and aspect-oriented programming, we try to improve current visual component composition environments. In our , we intro...
ACISP
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. SIMD is one of the second round candidates of the SHA3 competition hosted by NIST. In this paper, we present some results