7 papers:
HCI-TMT-2014-Merlin #implementation #interactive #paradigm #tool support- IntNovate a Toolkit to Ease the Implementation of Every Interaction Paradigm on Every Device (BM), pp. 331–339.
IJCAR-2014-GoreTW #logic #proving #theorem proving #using- A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description (RG, JT, JW), pp. 262–268.
CADE-2013-GoreT #logic- An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description (RG, JT), pp. 275–281.
- HCI-AS-2007-SchlegelSFBNdHMCSMIP #distributed #interactive #named
- INT-MANUS: Interactive Production Control in a Distributed Environment (TS, AS, MF, MB, RN, Dd, GH, IM, JC, DS, FM, JAI, AHP), pp. 1150–1159.
VLDB-2006-HokeSF #clustering #monitoring #named #scalability- InteMon: Intelligent System Monitoring on Large Clusters (EH, JS, CF), pp. 1239–1242.
TOOLS-ASIA-2000-MinJYG #corba #implementation- An Implementation Model of IntServ/RSVP Based CORBA A/V Stream Service (CM, XJ, WY, GG), pp. 94–99.
LCTES-1999-Engblom #benchmark #embedded #metric #tool support #why- Why SpecInt95 Should Not Be Used to Benchmark Embedded Systems Tools (JE), pp. 96–103.
