Sciweavers

637 search results - page 1 / 128
» A Structural Knowledge-Based Simulation Methodology for Dist...
Sort
View
ISTA
2001
13 years 6 months ago
Methodology of distributed technological complex system simulation
: The simulation of technological process in the oil pipelines system is considered in the paper. The solution of the task meets a number of difficulties originating during control...
Oye Fedorovich, A. V. Prohorov, Thomas Ramirez
LPAR
2004
Springer
13 years 10 months ago
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
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...
Mark Bickford, Robert L. Constable, Joseph Y. Halp...
SE
2008
13 years 6 months ago
Collaborative Development of Knowledge Bases in Distributed Requirements Elicitation
: One of the main challenges in distributed software development is the elicitation and management of knowledge regarding system requirements. Due to spatial distribution of involv...
Steffen Lohmann, Thomas Riechert, Sören Auer
SCAI
1993
13 years 6 months ago
A Case-Based Answer to Some Problems of Knowledge-Based Systems
Among the most important challenges for contemporary AI research are the development of methods for improved robustness, adaptability, and overall interactiveness of systems. Inter...
Agnar Aamodt