Search Sciweavers | Sciweavers

2934 search results - page 159 / 587

» The dissemination of knowledge management

164

click to vote

JAR
2007

85views more JAR 2007»

User Interaction with the Matita Proof Assistant

15 years 6 months ago

Download upsilon.cc

Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tas...

claim paper

Read More »

172

click to vote

ICSE
2008
IEEE-ACM

176views Software Engineering» more ICSE 2008»

The application of knowledge-sharing workspace paradigm for software architecture processes

16 years 6 months ago

Download www.cs.rug.nl

Management of architectural knowledge is vital for improving an organisation's capabilities in software architecture. Recently, there have been many efforts to develop variou...

Muhammad Ali Babar

claim paper

Read More »

180

click to vote

AVI
2000

174views Software Engineering» more AVI 2000»

A Modular Approach for Exploring the Semantic Structure of Technical Document Collections

15 years 7 months ago

Download www-i5.informatik.rwth-aachen.de

The identification and analysis of an enterprise's knowledge available in a documented form is a key element of knowledge management. Visual methods which allow easy access t...

Andreas Becks, Stefan Sklorz, Matthias Jarke

claim paper

Read More »

145

click to vote

IMDS
2006

33views more IMDS 2006»

Operations strategy and flexibility: modeling with Bayesian classifiers

15 years 6 months ago

Download hera.ugr.es

Purpose

María M. Abad-Grau, Daniel Arias-Aranda