114 search results - page 5 / 23 » How to Write and Use the Ontology Requirements Specification... |
RE
2006
Springer
13 years 7 months ago
2006
Springer
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components (including human components). These trust assumptions, ...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
We present SHIRI-Annot an automatic ontology-driven and unsupervised approach for the semantic annotation of documents which contain well structured parts and not well structured o...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In semantic web applications where query initiators and information providers do not necessarily share the same ontology, semantic interoperability generally relies on on...
HPCA
1999
IEEE
13 years 11 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
ITCC
2005
IEEE
14 years 1 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...