11 search results - page 3 / 3 » On the Relationship Between Concurrent Separation Logic and ... |
COOPIS
2003
IEEE
14 years 1 months ago
2003
IEEE
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Web’s distributed nature mak...