Intelligent Tutoring Systems (ITSs) have proved useful in a variety of domains, but are notoriously resource intensive to build. We have created two programs (ātutor generatorsā...
Viswanathan Kodaganallur, Rob R. Weitz, David Rose...
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certiļ¬cates are attached...
David Aspinall, Stephen Gilmore, Martin Hofmann, D...
fects are statically generated program abstractions, that can be model checked for veriļ¬cation of assertions in a temporal program logic. In this paper we develop a type and eff...
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...
Hamid R. Motahari Nezhad, Boualem Benatallah, Axel...