315
click to vote
QEST
9 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...
274
click to vote
QEST
9 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...
269
click to vote
QEST
9 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...
267
click to vote
QEST
9 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...
264
click to vote
QEST
9 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...
|
Modeling and Simulation