91 search results - page 1 / 19 » Formalizing Construction Knowledge for Concurrent Performanc... |
EGICE
2006
13 years 6 months ago
2006
CCS
2004
ACM
13 years 10 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
FLAIRS
2000
13 years 6 months ago
2000
Many knowledge acquisition approaches have been proposed to minimize the cognitive effort in knowledgebased system construction. The knowledge acquisition approach proposed here p...
MIE
2008
13 years 6 months ago
2008
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...
EKAW
2004
Springer
13 years 10 months ago
2004
Springer
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...