: We describe QoSDREAM, a middleware framework for the construction and management of context-aware multimedia applications. The contributions of QoSDREAM include (1) a novel appro...
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
This paper establishes a connection between two apparently very different kinds of probabilistic models. Latent Dirichlet Allocation (LDA) models are used as "topic models&qu...
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
Abstract--There has been growing interest in creating intelligent agents in virtual worlds that do not follow fixed scripts predefined by the developers, but react accordingly base...