68 search results - page 13 / 14 » Generic Hypermedia Structure and Presentation Specification |
CSL
2010
Springer
13 years 6 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
BMCBI
2008
13 years 5 months ago
2008
Background: The methodologies we use both enable and help define our research. However, as experimental complexity has increased the choice of appropriate methodologies has become...
SIGMOD
2009
ACM
14 years 5 months ago
2009
ACM
A multi-tenant database system for Software as a Service (SaaS) should offer schemas that are flexible in that they can be extended for different versions of the application and d...
ICALT
2005
IEEE
13 years 11 months ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...