607 search results - page 26 / 122 » A Design Theory for Systems That Support Emergent Knowledge ... |
LPAR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
JSW
2007
13 years 10 months ago
2007
—Becoming more competitive and more effective in the current scenes of Business and Public Administration, the organizations must be able to approach easily and quickly to the in...
BPM
2006
Springer
14 years 2 months ago
2006
Springer
In recent years adaptive process management technolgy has emerged in order to increase the flexibility of business process implementations and to support process changes at differe...
EKAW
2004
Springer
14 years 3 months ago
2004
Springer
The manual development of large knowledge systems is a difficult and error-prone task. In order to facilitate extensions to an existing knowledge base the structural design of the...
IEAAIE
1994
Springer
14 years 2 months ago
1994
Springer
Two recent projects at ORA have used a blackboard framework during system design.1 DANA is a multimedia network monitoring system, while MARRS is a real-time passive radar system....