1928 search results - page 313 / 386 » Integrity Constraints in OWL |
SIGSOFT
2000
ACM
14 years 2 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
ECRTS
1999
IEEE
14 years 2 months ago
1999
IEEE
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to un...
SIGGRAPH
1999
ACM
14 years 2 months ago
1999
ACM
In this paper, we develop methods to rapidly remove rough features from irregularly triangulated data intended to portray a smooth surface. The main task is to remove undesirable ...
HICSS
1999
IEEE
14 years 2 months ago
1999
IEEE
Semantic relationships, those class-to-class connections that carry inherent support for constraints and various other functionalities, play an important role when building inform...
MICRO
1999
IEEE
14 years 2 months ago
1999
IEEE
Recent studies on value locality reveal that many instructions are frequently executed with a small variety of inputs. This paper proposes an approach that integrates architecture...