337 search results - page 3 / 68 » Semantic Integration through Invariants |
PE
2002
Springer
13 years 5 months ago
2002
Springer
SEMWIKI
2008
13 years 7 months ago
2008
Abstract. Semantic wikis combine the advantages introduced by the wiki principle with the potential of Semantic Web technologies. However, there is still a very limited support for...
ERCIMDL
2009
Springer
14 years 10 days ago
2009
Springer
The National Digital Information Infrastructure and Preservation Program will demonstrate a pilot tools platform called Recollection that supports access to distributed NDIIPP coll...
ACMICEC
2008
ACM
13 years 7 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
CAV
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...