1928 search results - page 303 / 386 » Integrity Constraints in OWL |
SACMAT
2004
ACM
14 years 3 months ago
2004
ACM
Access control in enterprises is a key research area in the realm of Computer Security because of the unique needs of the target enterprise. As the enterprise typically has large ...
ADC
2004
Springer
14 years 3 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
AMAI
2004
Springer
14 years 3 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
APWEB
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Integrity constraints play a fundamental role in defining semantics in both conventional databases and in XML documents. In this paper we generalize previous approaches ...
ARGMAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...