Temporal Analytics for Software Usage Models

This page contains the PAM and GPAM models, properties, and results referred to in the paper Data-driven modelling and probabilistic analysis of interactive software usage submitted to the special edition of JLAMP for DataMod'17.

Models archive (10MB)

Properties

Tables with results:

• SAP properties VPinit, VCinit, SCinit for PAMs
• SAP properties VPinit, VCinit, SCinit for GPAMs
• SAP properties VPSessionAP and SCstate2state for GPAMs
• MAP properties VPinit, VCinit, SCinit, LongRunPattern for GPAMs
• MAP property State2End for GPAMs