12 papers:
CHI-2015-ZhangBK #bias #design #information management- Designing Information for Remediating Cognitive Biases in Decision-Making (YZ, RKEB, WAK), pp. 2211–2220.
PPoPP-2015-AmerLWBM #runtime #thread- MPI+Threads: runtime contention and remedies (AA, HL, YW, PB, SM), pp. 239–248.
ICEIS-v2-2014-SimpsonC #enterprise- Vulnerability and Remediation for a High-assurance Web-based Enterprise (WRS, CC), pp. 119–128.
- ICEIS-v1-2013-LeiteMP #fault #multi
- Multiple External Representations in Remediation of Math Errors (MDL, DM, ARP), pp. 519–523.
GT-VMT-2012-HanH #modelling- Remedy of Mixed Initiative Conflicts in Model-based System Engineering (FH, PH).
ISSTA-2012-JensenJM- Remedying the eval that men do (SHJ, PAJ, AM), pp. 34–44.
HCI-UA-2011-Wang11a #interactive #learning #network #student #tool support #using- Interactions between Human and Computer Networks: EFL College Students Using Computer Learning Tools in Remedial English Classes (ALW), pp. 107–112.
ICSM-2004-PazelVPTAC #assessment #framework #migration- A Framework and Tool for Porting Assessment and Remediation (DPP, PV, AMP, BT, AA, PC), p. 504.
CAV-2000-Pnueli #abstraction #composition #deduction #explosion #symmetry- Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion (AP), p. 1.
- ICSM-1999-InteresseD #case study #experience #verification
- Experience Paper: Beyond Year 2000 Remediation: The Compliance Verification: A Case Study (MI, RD), pp. 155–160.
- ICSM-1997-Reed
- DLA’S YEAR 2000 REMEDIATION PROGRAM: Managing Organization-Wide Conversion and Compliance (SJR), pp. 198–205.
ICSE-1978-HerndonK #analysis #fault #validation- Analysis of Error Remediation Expenditures During Validation (MAH, APK), pp. 202–206.
