9 papers:
DHM-EH-2015-SinghWLMW #formal method #modelling #reasoning #requirements- Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (NKS, HW, ML, TSEM, AW), pp. 387–398.
CSEET-2013-Georgas #composition #design #education #learning #towards- Toward infusing modular and reflective design learning throughout the curriculum (JCG), pp. 274–278.
ITiCSE-2012-SettleFHSJRW #education- Infusing computational thinking into the middle- and high-school curriculum (AS, BF, RH, FS, CJ, CRM, BW), pp. 22–27.
RecSys-2009-SemeraroLBG #recommendation- Knowledge infusion into content-based recommender systems (GS, PL, PB, MdG), pp. 301–304.
KR-2008-MichaelV- A First Experimental Demonstration of Massive Knowledge Infusion (LM, LGV), pp. 378–389.
VLDB-2007-LiYHK #authentication #query- Proof-Infused Streams: Enabling Authentication of Sliding Window Queries On Streams (FL, KY, MH, GK), pp. 147–158.
- CSEET-2005-LutzS #architecture #education #re-engineering
- Infusing Software Architecture into Software Engineering Curricula (MJL, AS), p. 259.
- ITiCSE-2005-Rao
- Infusing critical thinking skills into content of AI course (MRKKR), pp. 173–177.
ICEIS-1999-JarvisSMMC #adaptation #what #workflow- What Right Do You Have To Do That?-Infusing Adaptive Workflow Technology with Knowledfe about the Organisational and Autority Context of a Task (PJ, JS, AM, JPM, PWHC), pp. 240–247.
