91 search results - page 1 / 19 » Formalizing Construction Knowledge for Concurrent Performanc... |
EGICE
2006
14 years 1 months ago
2006
CCS
2004
ACM
14 years 4 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
14 years 16 days 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
14 years 18 days 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
14 years 4 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...