4211 search results - page 567 / 843 » A formal approach to MASQ |
153
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
194
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
We present an architecture for combining wikis containing hypertext with ontologies containing formal, structured information. A web-based ontology editor that supports collaborati...
164
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
183
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
186
click to vote
ISMIS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The conventional use of databases is commonly restricted to the retrieval of factual data in the form of tuples or records. However most databases also contain metadata i...