Sciweavers

1928 search results - page 268 / 386
» Integrity Constraints in OWL
Sort
View
ECAI
2008
Springer
13 years 12 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
KRDB
1998
74views Database» more  KRDB 1998»
13 years 11 months ago
Reasoning About Web-Site Structure
Buildinglarge Websites is similar in manywaysto building knowledgeand database systems. In particular, byprovidinga declarative,logical viewof a Website's data andstructure, ...
Mary F. Fernandez, Daniela Florescu, Alon Y. Levy,...
ACTAC
2008
94views more  ACTAC 2008»
13 years 10 months ago
Effect Preservation in Transaction Processing in Rule Triggering Systems
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
Mira Balaban, Steffen Jurk
IJAMC
2008
99views more  IJAMC 2008»
13 years 10 months ago
Improving Educational Multimedia selection process using group decision support systems
Educational Multimedia (EMM) is becoming a mature and integral part of teaching and learning systems, mainly due to its ability improve teaching and learning. However, EMM selecti...
Mohammed N. A. Abdelhakim, Shervin Shirmohammadi
DKE
2007
199views more  DKE 2007»
13 years 10 months ago
QMatch - Using paths to match XML schemas
Integration of multiple heterogeneous data sources continues to be a critical problem for many application domains and a challenge for researchers world-wide. With the increasing ...
Naiyana Tansalarak, Kajal T. Claypool