1912 search results - page 276 / 383 » On the evaluation of argumentation formalisms |
201
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
169
click to vote
SAS
2000
Springer
15 years 10 months ago
2000
Springer
As compilers increasingly rely on optimizations to achieve high performance, the effectiveness of source level debuggers for optimized code continues to falter. Even if values of s...
171
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Ontology construction is a labour-intensive and costly process. Even though many formal and semi-formal vocabularies are available, creating an ontology for a specific ap...
181
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
184
click to vote
ISEMANTICS
2010
15 years 7 months ago
2010
In this paper, when we use the term ontology, we are primarily referring to linked data in the form of RDF(S). The problem of ontology mapping has attracted considerable attention...