11973 search results - page 71 / 2395 » Methods for organizational development |
154
click to vote
AMKM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper, we outline the relation between Knowledge Management (KM) as an application area on the one hand, and software agents as a basic technology for supporting ...
145
Voted
LOPSTR
1995
Springer
15 years 7 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
137
Voted
FM
1994
Springer
15 years 8 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
127
click to vote
METRICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Software process improvement initiatives such as metrics programs have a high failure rate during their assimilation in a software organization. Social and individual issues are s...
137
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Intelligent software personal assistants for human organizations are an active research area within the multiagent community. However, while many capabilities for these software p...