5 papers:
CAiSE-2014-EpureHDB #flexibility #mining #process #what- What Shall I Do Next? — Intention Mining for Flexible Process Enactment (EVE, CH, RD, SB), pp. 473–487.
CIKM-2013-BrilhanteMNPR- Where shall we go today?: planning touristic tours with tripbuilder (IRB, JAFdM, FMN, RP, CR), pp. 757–762.
RE-2006-Miller #development #modelling #proving #requirements- Proving the Shalls: Requirements, Proofs, and Model-Based Development (SPM), p. 261.
FME-2003-MillerTH #proving- Proving the Shalls (SPM, ACT, MPEH), pp. 75–93.
CHI-2001-GongL #performance #speech- Shall we mix synthetic speech and human speech?: impact on users’ performance, perception, and attitude (LG, JL), pp. 158–165.
