11 papers:
- KDD-2014-RamakrishnanW #privacy #question #social
- Does social good justify risking personal privacy? (RR, GIW), p. 1965.
- KR-2014-GrossiH
- Justified Beliefs by Justified Arguments (DG, WvdH).
- DocEng-2013-PinkneyBB #readability
- No need to justify your choice: pre-compiling line breaks to improve eBook readability (AJP, SRB, DFB), pp. 237–240.
- DAC-2009-ChengGSQH #modelling #variability
- Physically justifiable die-level modeling of spatial variation in view of systematic across wafer variability (LC, PG, CJS, KQ, LH), pp. 104–109.
- RE-2006-JuretaFS #modelling
- Justifying Goal Models (IJ, SF, PYS), pp. 116–125.
- FoSSaCS-2005-Goguen #algorithm
- Justifying Algorithms for βη-Conversion (HG), pp. 410–424.
- IFM-2004-CurzonB #case study #design #fault
- Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors (PC, AB), pp. 461–480.
- ICEIS-v2-2001-DrinjakJA #perspective #web
- Justifying the Benefits of Web Based Electronic Commerce Applications: An Australian Perspective (JD, PJ, GA), pp. 1183–1187.
- PPDP-2000-RoychoudhuryRR #proving #using
- Justifying proofs using memo tables (AR, CRR, IVR), pp. 178–189.
- JICSLP-1998-DekhtyarDS #on the
- On Logically Justified Updates (MID, AJD, NS), pp. 250–264.
- ML-1989-Subramanian89a #formal method
- A Theory of Justified Reformulations (DS), pp. 434–438.