7 papers:
LICS-2015-LerouxS #reachability- Demystifying Reachability in Vector Addition Systems (JL, SS), pp. 56–67.
DAC-2014-ChenCDZ #energy #smarttech- Demystifying Energy Usage in Smartphones (XC, YC, MD, J(Z), p. 5.
ICML-c1-2014-SteegGSD #clustering- Demystifying Information-Theoretic Clustering (GVS, AG, FS, SD), pp. 19–27.
IDGD-2009-EugeneHMBRL #authentication #design #process #what- This Is Who I Am and This Is What I Do: Demystifying the Process of Designing Culturally Authentic Technology (WE, LH, KM, QB, YAR, SL), pp. 19–28.
OOPSLA-2009-NandaMSS #approach #automation #model transformation- Demystifying model transformations: an approach based on automated rule inference (MGN, SM, VSS, SS), pp. 341–360.
REFSQ-2009-TourweCBB #collaboration #quantifier #requirements- Demystifying Release Definition: From Requirements Prioritization to Collaborative Value Quantification (TT, WC, NB, VB), pp. 37–44.
PLDI-2005-AletaCGK #on the fly- Demystifying on-the-fly spill code (AA, JMC, AG, DRK), pp. 180–189.
