739 search results - page 9 / 148 » Extending the Unified Modeling Language for ontology develop... |
117
click to vote
EPK
2004
15 years 1 months ago
2004
Abstract: Starting from the Rational Unified Process RUP and the ARIS life cycle model the ARIS Unified Information System Development Process AUP is designed. Similar as the RUP i...
101
click to vote
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
109
Voted
ESWS
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile f...
127
Voted
SPATIALCOGNITION
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
104
Voted
VL
1999
IEEE
15 years 4 months ago
1999
IEEE
An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical u...