Sciweavers

2705 search results - page 116 / 541
» Formal Ontology for Subject
Sort
View
JUCS
2010
167views more  JUCS 2010»
13 years 6 months ago
Ontology based Approach in Knowledge Sharing Measurement
: For many years, physical asset indicators were the main evidence of an organization’s successful performance. However, the situation has changed following the revolution of inf...
Behrang Zadjabbari, Pornpit Wongthongtham, Farookh...
3DPH
2009
135views Healthcare» more  3DPH 2009»
13 years 9 months ago
My Corporis Fabrica: A Unified Ontological, Geometrical and Mechanical View of Human Anatomy
A new anatomical database, My Corporis Fabrica (MyCF), is presented. It extends the reference anatomical ontology FMA (the Foundational Model of Anatomy) with the possibility to co...
Olivier Palombi, Guillaume Bousquet, David Jospin,...
COMPSAC
2003
IEEE
14 years 1 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters
BPM
2000
Springer
106views Business» more  BPM 2000»
14 years 7 days ago
Using Formal Analysis Techniques in Business Process Redesign
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...
Kees M. van Hee, Hajo A. Reijers
CSI
2007
122views more  CSI 2007»
13 years 7 months ago
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a ...
Andrey Naumenko, Alain Wegmann