Stem tisa$ (all stems)
2 papers:
- MLDM-2013-MartineauCF #algorithm #independence #named #topic
- TISA: Topic Independence Scoring Algorithm (JCM, DC, TF), pp. 555–570.
- ESOP-2009-RajanTSL #composition #design #named #policy #verification #web #web service
- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services (HR, JT, SMS, GTL), pp. 333–347.