202 search results - page 1 / 41 » Embedding Formal Knowledge Models in Active Documents |
67
Voted
CACM
1999
14 years 10 months ago
1999
FLAIRS
2000
15 years 8 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...
115
Voted
SDL
2007
15 years 10 days ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
99
Voted
CN
1999
14 years 10 months ago
1999
The paper argues for the use of general and intuitive knowledge representation languages (and simpler notational variants, e.g. subsets of natural languages) for indexing the cont...
97
Voted
CSCW
2002
ACM
14 years 10 months ago
2002
ACM
An activity theory model and a mediating artifacts hierarchy were employed to help identify the needs for tools for customer support engineers who documented solutions to customer...