Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
Thomas Cottenier, Aswin van den Berg, Tzilla Elrad
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
—This study comprises finite element simulations and experimental studies of the shape memory effect due to the presence of SMA (shape memory alloy) wires in composite materials....