2385 search results - page 10 / 477 » Knowledge Refinement for a Design System |
CODES
2007
IEEE
13 years 11 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
CSCWD
2009
Springer
14 years 5 days ago
2009
Springer
Aiming at deficiencies of existing knowledge resources management systems, we designed a new collaborative knowledge construction system for massive knowledge resources. By collab...
EKAW
1992
Springer
13 years 11 months ago
1992
Springer
In order to help the knowledge engineer and the expert during knowledge acquisition phase, the ACACIA Group is working on a knowledge acquisition methodology and tool (KATEMES)all...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
FORTE
2004
13 years 9 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...