128 search results - page 26 / 26 » Class Algebra for Ontology Reasoning |
SAC
2008
ACM
13 years 5 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
AAAI
2007
13 years 8 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
SBBD
2004
13 years 7 months ago
2004
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...