QEST
2015
IEEE
8 years 8 months ago
2015
IEEE
In this paper we present an exact sampling method for multiclass closed queuing networks. We consider networks for which stationary distribution does not necessarily have a produc...
QEST
2015
IEEE
8 years 8 months ago
2015
IEEE
In Ambient Assisted Living (AAL), Activity Recognition (AR) plays a crucial role in filling the semantic gap between sensor data and interpretation needed at the application level...
QEST
2015
IEEE
8 years 8 months ago
2015
IEEE
Electric utilities are in the process of installing millions of smart meters around the world, to help improve their power delivery service. Although many of these meters come equi...
QEST
2015
IEEE
8 years 8 months ago
2015
IEEE
Abstract. The analysis of models specified with formalisms like Markovian process algebras or stochastic automata can be based on equivalence relations among the states. In this p...
QEST
2015
IEEE
8 years 8 months ago
2015
IEEE
In our mission to advance innovation by industrial adoption of academic results, we perform many projects with high-tech industries. Favoring formal methods, we observe a gap betwe...