1928 search results - page 192 / 386 » Integrity Constraints in OWL |
FPGA
2009
ACM
14 years 5 months ago
2009
ACM
In this paper we present SPR, a new architecture-adaptive mapping tool for use with Coarse-Grained Reconfigurable Architectures (CGRAs). It combines a VLIW style scheduler and FP...
ISCC
2009
IEEE
14 years 5 months ago
2009
IEEE
A directly public verifiable signcryption scheme is introduced in this paper that provides the security attributes of message confidentiality, authentication, integrity, non-repud...
ACSC
2007
IEEE
14 years 4 months ago
2007
IEEE
A common approach in designing relational databases is to start with a universal relation schema, which is then decomposed into multiple subschemas. A good choice of subschemas ca...
SUM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
ICARCV
2006
IEEE
14 years 4 months ago
2006
IEEE
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...