3 papers:
SIGMOD-2000-Rodriguez-Martinez #automation #database #deployment #middleware #named- MOCHA: A Database Middleware System Featuring Automatic Deployment of Application-Specific Functionality (MRM, NR, JMM, SK, VK, ZS, JJ), p. 594.
- SIGMOD-2000-RodriguezR #data flow #database #distributed #middleware #named #self
- MOCHA: A Self-Extensible Database Middleware System for Distributed Data Sources (MRM, NR), pp. 213–224.
CAV-1998-AlurHMQRT #composition #model checking #named- MOCHA: Modularity in Model Checking (RA, TAH, FYCM, SQ, SKR, ST), pp. 521–525.
