3154 search results - page 538 / 631 » An annotation based approach to support design communication |
LSO
2004
Springer
15 years 3 months ago
2004
Springer
Experience-based Information Systems (EbIS) enable organizations to capture, store and reuse knowledge and experiences for continuous competence development. However, there are sev...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
SAC is a purely functional array processing language designed with numerical applications in mind. It supports generic, high-level program specifications in the style of APL. How...
EKAW
1999
Springer
15 years 2 months ago
1999
Springer
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...
BPM
2008
Springer
15 years 5 hour ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
NJC
2006
14 years 10 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...