2185 search results - page 405 / 437 » Context for semantic metadata |
179
click to vote
SAC
2010
ACM
16 years 4 days ago
2010
ACM
Embracing service-oriented architectures in the context of large systems, such as the Web, rises a set of new and challenging issues: increased size and load in terms of users and...
158
click to vote
ESWS
2009
Springer
15 years 12 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
165
Voted
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
155
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
143
click to vote
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
Logic programming under the answer-set semantics nowadays deals with numerous different notions of equivalence between programs. This is due to the fact that equivalence for substi...