Sciweavers

QEST
2015
IEEE
8 years 10 days ago
Perfect Sampling for Multiclass Closed Queueing Networks
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...
Anne Bouillard, Ana Busic, Christelle Rovetta
QEST
2015
IEEE
8 years 10 days ago
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living
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...
Laura Carnevali, Christopher Nugent, Fulvio Patara...
QEST
2015
IEEE
8 years 10 days ago
PCA-Based Method for Detecting Integrity Attacks on Advanced Metering Infrastructure
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...
Varun Badrinath Krishna, Gabriel A. Weaver, Willia...
QEST
2015
IEEE
8 years 10 days ago
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses
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...
Andrea Marin, Sabina Rossi
QEST
2015
IEEE
8 years 10 days ago
Uniting Academic Achievements on Performance Analysis with Industrial Needs
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...
Bart D. Theelen, Jozef Hooman