1297 search results - page 22 / 260 » Semantic Correctness in Adaptive Process Management Systems |
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
With new standards like RDF or OWL paving the way for the much anticipated semantic web, a new breed of large scale semantic systems is about to appear. Even if research on semanti...
GI
2007
Springer
14 years 1 months ago
2007
Springer
: Data validation and cleaning are integral processes of the data quality management cycle. Domain specific knowledge is needed to detect and correct semantic errors. Ontologies c...
SOSP
2005
ACM
14 years 4 months ago
2005
ACM
Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal dependencies propagated through inte...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content ...
ICCL
1992
IEEE
13 years 11 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...