3081 search results - page 142 / 617 » A Formal Ontology of Properties |
214
click to vote
SDL
2007
15 years 7 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
177
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
183
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
OntoDNA is an automated ontology mapping and merging system that utilizes unsupervised data mining methods, comprising of Formal Concept analysis (FCA), Self-Organizing map (SOM) a...
192
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
183
click to vote
RP
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...