Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
We present the problem of statically distributing instructions of a common programming language, a problem which we prove equivalent to the multiterminal cut problem. We design eļ¬...
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Abstract. A good way to help users ļ¬nding relevant items on document platforms consists in suggesting content in accordance with their preferences. When implementing such a recom...
In this paper we argue for middleware languages that aid in service composition. We outline where such languages could be useful through the description of our current architectur...