Research
Stochastic Model Checking for Multimedia
What this record says
Modern distributed systems include a class of applications in which non-functional requirements are important. In particular, these applications include multimedia
CATALOG · The abstract is indexed.
Sources and freshness
source · source backed
arxiv
Open public source
Search projection 8a339e17 · indexed Sep 11, 2026