739 search results - page 9 / 148 » Extending the Unified Modeling Language for ontology develop... |
EPK
2004
13 years 10 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...
COMPSAC
2007
IEEE
14 years 15 days 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...
ESWS
2006
Springer
14 years 7 days 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...
SPATIALCOGNITION
2004
Springer
14 years 1 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...
VL
1999
IEEE
14 years 25 days 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...