The creation of language resources for less-resourced languages like the historical ones benefits from the exploitation of language-independent tools and methods developed over th...
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
Thomas A. Henzinger, Barbara Jobstmann, Verena Wol...
To provide personalized health recommendations concerning disabled persons, an adaptive system needs a detailed user model that can account for the peculiar aspects of the many exi...
Luca Chittaro, Roberto Ranon, Luca De Marco, Augus...
Abstract— A modeling methodology for mixed physical domains system in a new modelling Language is presented. The system is automotive seating vibration isolation system with elec...