Commercial Off-The-Shelf (COTS) software products are increasingly used as software components in large-scale systems. We had proposed an approach for distributed COTS software int...
A typed lambda calculus with categorical type constructors is introduced. It has a uniform category theoretic mechanism to declare new types. Its type structure includes categoric...
Abstract. Electronic commerce has been one of the traditional arenas for agent technology. The complexity of these applications has been a challenge for researchers that have devel...
This paper describes a model of the emergence and the universal structural tendencies of vowel systems. Both are considered as the result of self-organisation in a population of l...
We characterize high-performance streaming applications as a new and distinct domain of programs that is becoming increasingly important. The StreamIt language provides novel high-...
William Thies, Michal Karczmarek, Saman P. Amarasi...