56 search results - page 8 / 12 » Interactive Layout Generation with a Diagrammatic Constraint... |
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
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ā...
CASSIS
2004
Springer
14 years 2 months ago
2004
Springer
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...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
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...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
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...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...