Semantic web service composition is about finding services from a repository that are able to accomplish a specified task. The task is defined in a form of a composition reques...
Thomas Weise, Steffen Bleul, Marc Kirchhoff, Kurt ...
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
Iverson has greatly enlarged the mathematical notion of function composition and made it available to computer programmers. This paper explains the concept, and uses practical exa...
One of the factors that affect successful collaborative learning is the composition of collaborative groups. Due to the lack of intelligent grouping according to learners’ pedag...